https://www.digitalocean.com/community/tutorials/how-to-configure-custom-connection-options-for-your-ssh-client