Eu encontrei resposta da fossfreedom para criar um botão de pesquisa DuckDuckGo no gnome-shell para ser útil e eu usei como base para responder a esta pergunta.
Para criar um novo provedor de pesquisa, copie o arquivo google.xml como modelo.
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
Altere as seguintes tags XML no arquivo askubuntu.xml :
<ShortName>Ask Ubuntu</ShortName>
<Description>Ask Ubuntu Search</Description>
<Url type="text/html" method="GET" template="https://askubuntu.com/?q={searchTerms}"/>
Se você fez tudo certo, você deve estar vendo o botão de pesquisa Ask Ubuntu na visão geral.