gitのproxy越え

(1) 以下のどちらかの方法でシェルスクリプト(e.g. ~/bin/git-proxy.sh)を作成し、実行権を付ける。
(1-a) corkscrewをインストール。

 $ sudo apt-get install corkscrew

スクリプト

 #!/bin/sh

 corkscrew   $1 $2

(1-b) socketをインストール。

 $ sudo apt-get install socket

スクリプト

 #!/bin/sh

 (echo "CONNECT $1:$2 HTTP/1.0"; echo; cat ) | socket   | (read a; read a; cat)

(2) .bashrcなり.zshrcなりに以下を追加。

 export GIT_PROXY_COMMAND=~/bin/git-proxy.sh