電通大の学内ネットからGithubにsshする方法

きっかけ

  • 研究室のネットワークはもともとグローバルIPを持っていたのだけど、ついこの間 学内のネットからプライベートIPをもらってつなぐ形になった。(セキュリティ的な問題があったらしい)
  • つまりUECWirelessでつないでるのと同じような状態で、学外のサイトにつなぐ場合はプロキシを通さないといけなくなった
  • httpsでブラウジングとかならいいが、Githubにプッシュするときに使っていたsshが出来なくなってしまった。

解決法

  • どうやらGithubはhttps用のプロキシサーバーを経由してssh接続する方法があるらしい。
  • 以下手順(公開鍵の配置などは終わっているものとする)
  • 環境はwindwsなのであしからず

手順

  1. ~/.ssh/configの設定をssh用にする。
Host ssh.github.com
User git
Port 443
Hostname ssh.github.com
TCPKeepAlive yes
IdentitiesOnly yes
IdentityFile ~/.ssh/id_rsa

  1. connect.exeをどこかから見つける

    • 自分の場合はC:\'Program Files'\Git\mingw64\bin以下にあった
    • 正直これなんなん？って感じ(今度調べてみる)

  2. '~/.ssh/config'にさらに以下を追記

    ProxyCommand [connect.exeのパス] -H proxy_url:proxy_port %h %p

  3. pushできる。

まとめ

よかったよかった

参考サイト

proxy経由で社内からgithubにアクセスする。 - Qiita

追記

pipの場合は

py -m pip install ほにゃらら --proxy http://....

でいける。

追記2

パスの書き方が間違っていました。 Windowsの場合はパスをC:/'Program Files'/Git...というように/を使います。 (\\でもいいはず)