Réponses:
J'ai trouvé la réponse de fossfreedom pour créer un bouton de recherche DuckDuckGo dans gnome-shell utile et je l'ai utilisé comme base pour répondre à cette question.
Pour 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/askubuntu.xml
12.04
sudo cp /usr/share/gnome-shell/open-search-providers/google.xml /usr/share/gnome-shell/open-search-providers/askubuntu.xml
Modifiez les balises XML suivantes dans le fichier askubuntu.xml :
<ShortName>Ask Ubuntu</ShortName>
<Description>Ask Ubuntu Search</Description>
<Url type="text/html" method="GET" template="/ubuntu//?q={searchTerms}"/>
Si vous avez tout fait correctement, vous devriez voir le bouton de recherche Ask Ubuntu dans l'aperçu.
<Url type="text/html" method="GET" template="http://askubuntu.com/search?q={searchTerms}"/>
(Utilisez cette chaîne d'url à la place, pour utiliser la fonction de recherche! - Curieux, personne ne l'a mentionné !!)