Gnome Shell Extension: Provide SSH search results in overview
Switch branches/tags
Nothing to show
Pull request Compare This branch is 4 commits behind brot:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.

SSH Search Provider

A gnome-shell extension which searches the ssh config and known_hosts file and provides the found ssh connections in your shell overview.


  • it parses the ~/.ssh/config file and searches for the hostnames
  • it parses the ~/.ssh/known_hosts file and reads all hostnames (to use this feature you have to set the ssh setting "HashKnownHosts" to "no")
  • you are able to define a user for the founded hosts in the search term


Assume the ~/.ssh/config file looks like

Host desktop
User user

Host desktop1
User user

host vserver
User user
Port 2222

and the ~/.ssh/known_hosts file looks like

[]:2222 ssh-rsa AAAAB..., ssh-rsa AAAAB..., ssh-rsa AAAAB... ssh-rsa AAAAB...

Here are some example searches and the search results

  • search-term: desk

    1. desktop
    2. desktop1
  • search-term: rv

    1. vserver
  • search-term: 11

  • search-term: 97

  • search-term: user@ (all hostnames are in the search results)

    1. user@desktop
    2. user@desktop1
    3. user@vserver
    4. user@
    6. user@
    8. user@
    9. user@
  • search-term: user@des

    1. user@desktop
    2. user@desktop1


Install the extension directly from the gnome-shell extension webpage:

or manually

Selecting Your preferred Terminal Application

At the moment it isn't possible to configure the preferred terminal app directly. The reason is that gnome-shell in the current stable version (3.2) don't provide tools for extensions to create extension specific settings. With the future version of gnome-shell (3.4) this should be possible and then I will provide an updated version of this extension with some gsetting options.

At the moment you could only change the source code directly. So you have to change the file ~/.local/share/gnome-shell/extensions/

Replace 'gnome-terminal' with the name of your preferred terminal app:

const SSHSEARCH_TERMINAL_APP = 'gnome-terminal';

For example

const SSHSEARCH_TERMINAL_APP = 'terminator';


Copyright (c) 2011 Bernd Schlapsi

This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with this program. If not, see