GitやMercurialでSSH経由でcloneやpullなどをすることがかなり多くありますが、ポート番号や秘密鍵のパスがデフォルト(e.g. ~/.ssh/id_rsa) と異なっていたり、ProxyCommandなどのSSHオプションを付けたりしたいことも多くの場合あります。 今回は、そのよう…