gitが環境変数HTTP_PROXYを認識しないので、パッチを投げてみるかとちょっと調査。 すると、gitが悪いのではなく、cURLというツールでセキュリティ上の問題で、http_proxyしか環境変数を使わないということであった。 ということで、cURL(curl)を使うアプリ…