Allow override of profile username
By wade.williams2... on December 13, 2013 20:09 (imported from Google Code)
A user may have a profile which connects to a particular host as a certain user. For example, "ssh johndoe@myhost.com"
However, while the user uses that username 99% of the time, they may occasionally have the need to connect to the same host as a different user, say "ssh admin@myhost.com"
Obviously, one could create a separate profile for the other user, but then one litters their profiles with lots of profiles which are rarely used.
A helpful option would be to allow the user to override the username by holding down a key when opening a profile. So for example, if I were to hold down option while clicking "New Tab," this feature would pop up a dialog prompting me for what username I want to use to connect. In our example, I type in "admin" to override the default "johndoe" username, and the profile executes "ssh admin@myhost.com"