プロキシ環境下でsshを使うとき 会社や学校ではプロキシ経由の設定が必要だけど、自宅では要らないってときには、~/.ssh/configのホストで分けると環境変わっても楽ちん。 # プロキシ環境 Host taro_px User taro HostName remote.co.jp ProxyCommand connec…