In .ssh/config:
Host alias
Hostname realname.domain
Port alternate_portI've browsed through the site and installed to look at the man page to find this out. I can't see a way to do this. Makes it useless for me :-(
Not that I'm complaining. It's not like I'm being asked to pay for it, just a feature that I imagine would be helpful to many people...
Re:Mosh: SSH for 2012
by keithwinstein on Monday April 09, 2012 @07:09PM
(#3819762)
Thanks, we're working on it and it will be in a future release.
We're tracking this issue at https://github.com/keithw/mosh/issues/53
edit: github-issue: https://github.com/keithw/mosh/issues/103