Відповіді:
Я знайшов відповідь fossfreedom, щоб створити кнопку пошуку DuckDuckGo в gnome-shell, і я використав її як базу для відповіді на це питання.
Щоб створити нового постачальника пошуку, скопіюйте файл google.xml як шаблон.
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
Змініть наступні теги XML у файлі askubuntu.xml :
<ShortName>Ask Ubuntu</ShortName>
<Description>Ask Ubuntu Search</Description>
<Url type="text/html" method="GET" template="/ubuntu//?q={searchTerms}"/>
Якщо ви зробили все правильно, вам слід побачити кнопку "Запитати Ubuntu" на огляді.
<Url type="text/html" method="GET" template="http://askubuntu.com/search?q={searchTerms}"/>
(Використовуйте замість цього рядка URL, щоб скористатися функцією пошуку! - Цікаво, ніхто про це не згадував !!)