In .ssh/config: Host alias Hostname realname.domain Port alternate_port

		wnoise on April 9, 2012 \| parent \| context \| favorite \| on: Mosh: SSH for 2012 In .ssh/config: `Host alias Hostname realname.domain Port alternate_port`