Nicknames for ssh hosts

You can specify ssh host nicknames through your .ssh/config file. See: https://gist.github.com/dineshj1/9f304084a1f4af27ae2ccf79c134b0e6