The following is an example ~/.ssh/config file.
~/.ssh/config
Host dev HostName dev.example.com Port 22000 User developer