# contents of $HOME/.ssh/config
Host dev
    HostName example.com
    User username