3 ms·In .ssh/config: Host alias Hostname realname.domain Port alternate_portby wnoise 15y agoIn .ssh/config: Host alias Hostname realname.domain Port alternate_port