Docker for windows 使用で社内認証プロキシ経由のDocker pullを行う方法

備忘録

1. Dockerのタスクトレイアイコンを右クリック＞Settings＞Proxies

2. "Manual Proxy Configuration"のラジオボタンを選択

3. http://ユーザ名:プロキシPW@プロキシホスト:プロキシポート/
   を入力、"Use same for both"のチェックはそのままにしています

4. Apply、Dockerが再起動したら実際にPullしてみる

以上

(2020/2/13 追記)
企業によっては、プロキシのユーザ名などがメールアドレスとなっており
"[e-mail]" などとなってしまうケースがあります

その場合はURLエンコードの記述に則り（"RFC3896"でググると良いと思います）、
ユーザ名の@(アットマーク)部分は"%40"と表記する必要があります

× [e-mail]:8080/
○ [e-mail]:8080/

Dockerに限らず、pythonや他の実行環境にも適用できます
場合によってはhttpでなくhttpsにしておく必要があるケースもあります