Les fournisseurs de recherche Gnome-Shell sont décrits par des fichiers XML dans le dossier /usr/share/gnome-shell/search_providers
Vous remarquerez deux fichiers XML - google.xml et wikipedia.xml
Permet de créer un nouveau moteur de recherche - copiez le fichier google.xml comme modèle
11.10
sudo cp /usr/share/gnome-shell/search_providers/google.xml /usr/share/gnome-shell/search_providers/duckduckgo.xml
12.04
sudo cp /usr/share/gnome-shell/open-search-providers/google.xml /usr/share/gnome-shell/open-search-providers/duckduckgo.xml
Permet maintenant d'ouvrir le fichier et de modifier certains détails pour effectuer une recherche avec duckduckgo:
11.10
sudo nano /usr/share/gnome-shell/search_providers/duckduckgo.xml
12.04
sudo nano /usr/share/gnome-shell/open-search-providers/duckduckgo.xml
Modifiez les balises XML suivantes:
<ShortName>DuckDuckGo</ShortName>
<Description>DuckDuckGo Search</Description>
<Url type="text/html" method="GET" template="http://www.duckduckgo.com/?q={searchTerms}"/>
La seule partie difficile est de savoir comment un moteur de recherche recherche - dans duckduckgo j'ai cherché quelque chose - vous voyez dans la barre de titre comment le moteur de recherche ajoute ses termes de recherche
résultat final
Pour voir les changements, vous devez redémarrer GNOME Shell en appuyant sur Alt + F2, en tapant "r" et en appuyant sur entrée.
Questions liées:
- Est-il possible de réorganiser les moteurs de recherche sur l'écran Présentation des activités du shell GNOME?
Si quelqu'un souhaite supprimer tous les moteurs de recherche de l'écran de superposition, l'utilisateur asermax a publié l'extension Disable Search sur le site Web GNOME Shell Extensions . Découvrez-le: https://extensions.gnome.org/extension/203/disable-search/
Il faut noter que cette extension supprime également la barre de recherche dans le coin supérieur droit de l'écran de superposition.
la source