何度かつまずいたので自分用にメモ
docker-machine作成時のプロキシ設定
C:\Program Files\Docker Toolbox\start.sh
に下記を追記
export HTTP_PROXY=http://localhost:18080
export HTTPS_PROXY=${HTTP_PROXY}
この設定によりdocker-toolboxでdocker-machine作成する際に、プロキシ経由でイメージ取得される。
docker-machine内のプロキシ設定
上記で作成されたdocker-machine上の /var/lib/boot2docker/profile
のプロキシ設定も同じ値のまま作成されているので、これをdocker-machineから見たホストマシン(windows)IPに書き換える。
docker-machineの eth0 が利用するゲートウェイのアドレスが、docker-machineから見えるホストのアドレスになっているのでそのIPに変更する。
$ docker-machine.exe ssh
$ ip route
default via 10.0.2.2 dev eth0 metric 1 (← これ)
10.0.2.0/24 dev eth0 proto kernel scope link src 10.0.2.15
127.0.0.1 dev lo scope link
172.17.0.0/16 dev docker0 proto kernel scope link src 172.17.0.1
172.18.0.0/16 dev br-63500f345ff8 proto kernel scope link src 172.1
192.168.99.0/24 dev eth1 proto kernel scope link src 192.168.99.100
$ sudo vi /var/lib/boot2docker/profile
$ sudo /etc/init.d/docker restart
$ exit
dockerコンテナ起動
これでdocker-machineがイメージをPullできるようになる