proxy サーバ経由で git を使う方法

会社はDNSが無いので、プロキシを使わないと外に出られない。GITもHTTPアクセスを認めているが、小規模な場合はともかく、Linuxカーネルのような大規模な物だと、タイムアウトが発生してしまうのか、処理が進まない。しかしGITプロトコルは通してくれない。そこでGITプロトコルをHTTP　PROXYで通す方法が求められる。


以下のサイトよりコピペ
http://masaoo.blogspot.com/2009/07/proxy-git.html

proxy サーバ経由で git を使う方法
proxy サーバの配下で git を使う方法です。調べると結構引っかかりました。
参考にさせていただいた方々に感謝。とても重宝しています。

1. まず、corkscrew をインストールします。

# apt-get install corkscrew

2. git-proxy.sh を作成します。

proxy.hogehoge は proxy サーバ名。

# vi /usr/local/bin/git-proxy.sh
#/bin/bash
CORKSCREW=`which corkscrew`
$CORKSCREW proxy.hogehoge 8080 $1 $2
3. git-proxy.sh に実行権を与えます。

# chmod 755 /usr/local/bin/git-proxy.sh
4. ~/.bashrc に以下を追加します。

# vi ~/.bashrc
export GIT_PROXY_COMMAND=/usr/local/bin/git-proxy.sh
5. あとは通常通り、git を使用します。