Respuestas:
He encontrado útil la respuesta de fossfreedom para crear un botón de búsqueda DuckDuckGo en gnome-shell y la he usado como base para responder esta pregunta.
Para crear un nuevo proveedor de búsqueda, copie el archivo google.xml como plantilla.
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
Cambie las siguientes etiquetas XML en el archivo askubuntu.xml :
<ShortName>Ask Ubuntu</ShortName>
<Description>Ask Ubuntu Search</Description>
<Url type="text/html" method="GET" template="/ubuntu//?q={searchTerms}"/>
Si ha hecho todo bien, debería ver el botón de búsqueda Ask Ubuntu en la descripción general.
<Url type="text/html" method="GET" template="http://askubuntu.com/search?q={searchTerms}"/>
(¡Utilice esta cadena de URL en su lugar, para hacer uso de la función de búsqueda! - ¡Curioso, nadie lo mencionó!)