Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/brot/gnome-shell-extension-sshsearch

Gnome Shell Extension: Provide SSH search results in overview
https://github.com/brot/gnome-shell-extension-sshsearch

Last synced: about 1 month ago
JSON representation

Gnome Shell Extension: Provide SSH search results in overview

Awesome Lists containing this project

README 

        
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.



### Features



 * 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



### Examples



Assume the ~/.ssh/config file looks like



    Host desktop

    User user

    HostName 192.168.1.100

    

    Host desktop1

    User user

    HostName 192.168.1.101



    host vserver

    User user

    Port 2222

    HostName 11.11.111.111

    

and the ~/.ssh/known_hosts file looks like



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

    github.com,207.97.227.239 ssh-rsa AAAAB...

    user.webfactional.com,22.22.222.222 ssh-rsa AAAAB...

    192.168.1.100 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**

   1. 11.11.111.111:2222

   

 * search-term: **97**

   1. 207.97.227.239

   

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

   1. user@desktop

   2. user@desktop1

   3. user@vserver

   4. [email protected]:2222

   5. [email protected]

   6. [email protected]

   7. [email protected]

   8. [email protected]

   9. [email protected]



 * search-term: **user@des**

   1. user@desktop

   2. user@desktop1



### Installation

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

https://extensions.gnome.org/extension/73/ssh-search-provider/



or manually



 * copy or link the folder "[email protected]" to ~/.local/share/gnome-shell/extensions

 * enable extension (e.g. via gnome-tweak-tool)



### Selecting Your preferred Terminal Application (only for gnome-shell > 3.4)

If you want to replace 'gnome-terminal' with the name of your preferred terminal app so you have to set it in the gsettings. You can do this with the following command on the terminal:



    gsettings set org.gnome.desktop.default-applications.terminal exec 

    

For example if you want to change gnome-terminal with terminator type:



    gsettings set org.gnome.desktop.default-applications.terminal exec terminator



#### Define arguments for your Terminal Application (only for gnome-shell >= 3.8)

If you want to add some arguments for your terminal app you can set this arguments with



    gsettings set org.gnome.desktop.default-applications.terminal exec-arg ""



For example if you want to use terminator in borderless mode type:



    gsettings set org.gnome.desktop.default-applications.terminal exec-arg "--borderless"



### License

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 .