Когда я нажимаю клавишу Super kbd>, я вижу окно обзора. Отсюда я могу искать текущие открытые окна, файлы, Software Senter и т. Д., Но я не смог найти способ сделать это в Google. Похоже, что для этого должен быть поставщик поиска, но я не смог найти его на портале расширений GNOME.
Я что-то упустил?
Моя настройка - GNOME Shell 3.32.0 (Ubuntu)
В GitHub имеется расширение оболочки GNOME, называемое Поставщик веб-поиска для оболочки GNOME , которое позволяет добавлять различные поставщики веб-поиска.
Обратите внимание, что добавление расширений из ненадежных источников не поддерживается, не рекомендуется, и вы можете столкнуться с проблемами стабильности и / или безопасности.
Теперь, если вы все еще хотите настроить его, загрузите расширение:
git clone --depth=1 https://github.com/mrakow/gnome-shell-web-search-provider ~/.local/share/gnome-shell/extensions/gnome-shell-web-search-provider@mrakow.github.com
Отредактируйте файл config.json
:
gedit ~/.local/share/gnome-shell/extensions/gnome-shell-web-search-provider@mrakow.github.com/config.json
и замените его содержимое следующим: [ 1112]
{
"searchEngines": {
"Google Search": {
"urlTemplate": "https://www.google.com/search?q={searchTerms}",
"iconPath": "/usr/share/icons/gnome/256x256/actions/search.png"
}
}
}
Перезагрузите оболочку GNOME: Alt kbd> + F2 kbd>, r kbd>, затем Enter kbd>. Или выйдите из системы и войдите снова (для Wayland).
Включите расширение провайдера веб-поиска в настройках GNOME или по адресу https://extensions.gnome.org/local .
Теперь при поиске в GNOME Shell должна появляться запись Google Search .
Проверено на Ubuntu 19.04
Служба поиска Google доступна на портале расширений gnome здесь.
Сообщается, что он работает с gnome-shell v.3.18.5, но я лично не проверял его.
Одной из альтернатив является расширение диалога веб-поиска, доступное здесь или на странице проекта здесь
Оно довольно старое и не обновлялось годами, но вы может заставить его работать, изменив номер версии в metadate.json
. Другой альтернативой будет просто выполнить поиск в Интернете из вашего любимого браузера. Лично я нашел этот подход очень эффективным.
Третий вариант - разработать свой собственный, используя имеющиеся здесь данные .