設定ファイル(pip.ini) を用意すると、 pip を実行するたびに proxy サーバーを指定する必要が無くなります。
次の場所にファイル[pip.ini]を作成します。
C:¥Users¥{Windowsユーザー名}¥AppData¥Roaming¥pip¥pip.ini
(%APPDATA%¥pip¥pip.ini)
pip.ini の書き方
[global]
proxy = ユーザーID:パスワード@サーバー名:ポート番号
例1 ユーザーID / パスワードが必要な場合
- ユーザーID = user
- パスワード = pass
- サーバー = proxy.server.co.jp
-
ポート番号 = 8080
[global] proxy = user:pass@proxy.server.co.jp:8080
- サーバー = proxy.server.co.jp
-
ポート番号 = 8080
[global] proxy = proxy.server.co.jp:8080
検証環境
- Python 3.8.0 (tags/v3.8.0:fa919fd, Oct 14 2019, 19:37:50) [MSC v.1916 64 bit (AMD64)] on win32
- pip 19.3.1
- Microsoft Windows 10 Pro Version 1809 OS Build 17763.720