Risposte:
Ho trovato utile la risposta di Fossfreedom per creare un pulsante di ricerca DuckDuckGo in gnome-shell e l'ho usato come base per rispondere a questa domanda.
Per creare un nuovo provider di ricerca, copia il file google.xml come modello.
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
Modifica i seguenti tag XML nel file askubuntu.xml :
<ShortName>Ask Ubuntu</ShortName>
<Description>Ask Ubuntu Search</Description>
<Url type="text/html" method="GET" template="/ubuntu//?q={searchTerms}"/>
Se hai fatto tutto nel modo giusto, dovresti vedere il pulsante di ricerca Chiedi a Ubuntu nella panoramica.
<Url type="text/html" method="GET" template="http://askubuntu.com/search?q={searchTerms}"/>
(Usa invece questa stringa dell'URL, per usare la funzione di ricerca! - Curioso, nessuno l'ha menzionato !!)