SSH config

If you are using special ports or different usernames on different ssh-hosts you can simplify your connect commands with a […]