Setting up SSH host shortnames edit ~/.ssh/config Host server1 HostName server1.internet.com User david