При поиске в gnome-shell в нижней части экрана есть две кнопки, которые можно использовать для поиска в Википедии и Google.
Есть ли способ настроить их? Если, скажем, я хотел бы заменить кнопку Google на кнопку DuckDuckGo, как бы мне поступить?
Провайдеры поиска Gnome-Shell описываются XML файлами в папке /usr/share/gnome-shell/search_providers
Вы заметите два XML файла - google.xml и wikipedia. xml
Создадим новый поисковый провайдер - скопируем файл google.xml в виде шаблона
11.10
sudo cp /usr/share/gnome-shell/search_providers/google.xml /usr/share/gnome-shell/search_providers/duckduckgo.xml
12.04
sudo cp /usr/share/gnome-shell/open-search-providers/google.xml /usr/share/gnome-shell/open-search-providers/duckduckgo.xml
Теперь откроем файл и изменим некоторые детали для поиска с помощью duckduckgo:
11.10
sudo nano /usr/share/gnome-shell/search_providers/duckduckgo.xml
12. 04
sudo nano /usr/share/gnome-shell/open-search-providers/duckduckgo.xml
Измените следующие XML-теги:
<ShortName>DuckDuckGo</ShortName>
<Description>DuckDuckGo Search</Description>
<Url type="text/html" method="GET" template="http://www.duckduckgo.com/?q={searchTerms}"/>
Единственная сложная часть - выяснить, как поисковая система ищет - в duckduckgo я что-то искал - в строке заголовка вы видите, как поисковый провайдер добавляет свои поисковые термины
конечный результат
Чтобы увидеть изменения, нужно перезапустить GNOME Shell, нажав Alt+F2, набрав "r" и нажав Enter.
Ссылочные вопросы:
На случай, если кто-то захочет удалить все поисковые системы с оверлейного экрана, пользователь asermax опубликовал расширение Disable Search на веб-сайте GNOME Shell Extensions . Проверьте это: https://extensions.gnome.org/extension/203/disable-search/
Следует отметить, что это расширение также удаляет панель поиска в правом верхнем углу экрана наложения.