忘れないようにメモっとく

機械学習とかプログラミングとか。

proxy越しのssh

プロキシ環境下でsshを使うとき

会社や学校ではプロキシ経由の設定が必要だけど、自宅では要らないってときには、~/.ssh/configのホストで分けると環境変わっても楽ちん。

# プロキシ環境
Host taro_px
User taro
HostName remote.co.jp
ProxyCommand connect -H proxy_server.jp:8080 %h %p
Identityfile ~/.ssh/id_rsa

# 自宅
Host taro_home
User taro
HostName remote.co.jp
Identityfile ~/.ssh/id_rsa

これでプロキシ環境のときは

$ ssh taro_px

自宅にいるときは

$ ssh taro_home

ちなみにconnectコマンドがないときは、次のようにインストール

$ brew install connect

プロキシ環境でbrewが使えないときは

$ export http_proxy=proxy_server.jp:8080