/gnome-shell-extension-remove-search-providers

Remove all search providers from overview, except for applications and settings

Primary LanguageJavaScript

Remove Search Provider

It is extension for GNOME Shell. It remove all search providers from overview, except for applications and settings.

URL: https://github.com/seleznev/gnome-shell-extension-remove-search-providers

Install

Instal from archive

Download archive from here and unpack it to ~/.local/share/gnome-shell/extensions/.

Instal from git

$ cd ~/.local/share/gnome-shell/extensions/

$ git clone git://github.com/seleznev/gnome-shell-extension-remove-search-providers.git

$ mv gnome-shell-extension-remove-search-providers/remove-search-providers@seleznev.github.com ./

$ rm -r gnome-shell-extension-remove-search-providers