.ssh/configでProxyCommandを設定するのはよくあるが、Host *に書いていいものか迷う。
逆にProxyCommandを使わないときに困るので。
何か指定しないことにはProxyCommandが有効になってしまう。
と思ったらマニュアルにnoneが使えると書いてあった。
つまり
Host local
ProxyCommand none
Host *
ProxyCommand nc ...
でいいわけだ。これで毎回むだにProxyCommandを書かなくて済むようになった。