git pull/push to in proxy environment

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

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


$ git config --global http.proxy ""