brot/gnome-shell-extension-sshsearch — pull request #4 by wahez (2012-01-05 19:36:45+00:00)
Title: specify user

Hi brot,

I wrote a patch to let you specify the username to use for the ssh session. You can type user@host in the search field. The search is done on everything after the '@' and everything before the '@' is used for the username.
I use this for a couple of host the have a default username in my .ssh/config but where I sometimes need to login as another user.

This is my first github pull request, so if I'm doing it wrong, let me know :)

cheers,
Walther