プロキシ環境下で外部にSSHを使いたいときは~/.ssh/configもしくは/etc/ssh/ssh_configにProxyCommandの設定を行いますが、Hostの書き方にハマったのでメモします。Vagrantではゲストにlocalhost:2222でSSH接続します。外部接続はプロキシを使い、localhost…