Lors de la recherche dans gnome-shell, il y a deux boutons vers le bas de l'écran qui peuvent être utilisés pour rechercher avec Wikipedia et Google.
Existe-t-il un moyen de les personnaliser? Si, par exemple, je voulais remplacer le bouton Google par un pour DuckDuckGo, comment pourrais-je procéder?