1. docker-machine ssh
default
2.
sudo vi /var/lib/boot2docker/profile
3.
# replace with your office's proxy environment
export "HTTP_PROXY=http://PROXY:PORT"
export "HTTPS_PROXY=http://PROXY:PORT"
# you can add more no_proxy with your environment.
export "NO_PROXY=192.168.99.*,*.local,169.254/16,*.example.com,192.168.59.*"
4.
sudo /etc/init.d/docker restart
5. exit