SSH Search Provider Reborn Gnome Shell Extension Secondary distribution site. Provide SSH search results in Gnome Shell overview Gnome Shell Extensions: https://extensions.gnome.org/extension/1714/ssh-search-provider-reborn/ GitHub: https://github.com/F-i-f/ssh-search-provider