[mimiflynn]

I made alias' in my .bash_profile to handle this shortcut need, although, for servers that I don't access often, it might be nice to have the dropdown list as a reminder.