http proxy越しにgitを使う

環境変数にプロキシのアドレスを設定すればいいらしい。

export http_proxy=http://proxy.example.com:8080/

ただし、httpsは通らないのでhttps://github.com/〜には接続できない。httpsをhttpにすると接続できる。