git で 22番以外のポートを ssh に使う
コマンドラインで指定する方法が見つからなかった。できないのかな。その代わりに、~/.ssh/config に書いておく。
<pre class="prettyprint">$ cat ~/.ssh/config
Host xxx.yyy.com
User xxxxxx
Hostname xxx.yyy.com
Port 22番じゃないポート番号
</pre>
こちらを参考にした。
<ul> <li>SSHポートが通らなくてもgithub.comにpushする方法</li>
</ul>