何度かつまずいたので自分用にメモ

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できるようになる