社内proxyからpipを通す

会社のPCって、大抵Windowsで当然のことながらインターネットに出るためには社内プロキシを通る必要があります。
pythonだとpipでモジュールを簡単に追加インストールできるけど、そのままだと大抵社内プロキシが通らない。

で試したことは、以下の2つ。
2つやったらpipが通りました。

1. 環境変数にプロキシをsetしてあげる。

set HTTP_PROXY= http://アカウント:パスワード@192.168.0.1:8080
set HTTPS_PROXY= http://アカウント:パスワード@192.168.0.1:8080

1. pipのオプションで社内プロキシを指定してあげる。

pip install requests --proxy=http://アカウント:パスワード@192.168.0.1:8080

ちょっとめんどくさいけど、しょうがないですね。