INOHILOG このページをアンテナに追加 RSSフィード

2012/07/13(Fri)

git pull/push to github.com in proxy environment

| 15:05 | git pull/push to github.com in proxy environmentを含むブックマーク git pull/push to github.com in proxy environmentのブックマークコメント

  • git pull/push to github.com in proxy environment
  • install connect-proxy (connect command)
  • write settings in ~/.ssh/config
    • use 'ssh.github.com:443' if proxy server denies connecting to 22 port (squid (proxy server) denies in default setting)
Host github.com
  User git
  Port 443                  # <= usually I use '22'
  Hostname ssh.github.com   # <= usually I use 'github.com'
  IdentityFile /home/inohiro/.ssh/github/id_rsa
  TCPKeepAlive yes
  IdentitiesOnly yes
  ProxyCommand /usr/bin/connect-proxy -H proxy.hoge.fuga.com:3128 %h %p
  • check whether it works correctly

$ ssh -T git@github.com

Hi inohiro! You've successfully authenticated, but GitHub does not provide shell access.

postscript

$ git config --global http.proxy "http://hoge.fuga.com:3128"
トラックバック - http://d.hatena.ne.jp/InoHiro/20120713/1342159543
リンク元