Docker：设置代理proxy
相信刚开始用docker的一定会遇到下面这种情况：
docker@boot2docker:~$ sudo docker search ubuntu
FATA[0000] Error response from daemon: Get https://index.docker.io/v1/search?q=ubuntu:
dial tcp: lookup index.docker.io: no such host
国内也基本找不到此问题的答案，基本都是归于GFW的原因，下面有个很有意思的ticket：
https://github.com/docker/docker/issues/3203
摘抄里面一段国外友人（timthelion）发言：
I’m watching this conversation and feeling really sorry for everyone.
I feel sorry for the Chinese people here who are just trying to use a
cool product and I feel sorry for the Docker folks who probably feel
kind of weird having to jump through loops for this foreign bureaucracy.
各位自行翻查字典理解最后一句话，我无意附和或吐槽~~
从里面提供的线索，你不仅无法ping通index.docker.io或cdn-registry-1.docker.io，连国内的镜像网站也是报同样的错误。尝试过很多的办法：
- 在docker环境内设置HTTP_PROXY和HTTPS_PROXY
- 修改内部/etc/hosts
- 修改docker.list追加国内镜像服务器地址
不过都是不管用的，办法是关掉Dcoker deamon，在启动的时候追加proxy设置。
sudo HTTP_PROXY=http://your.proxy.host:port docker -d
或者修改/etc/default/docker
export http_proxy="http://192.168.10.30:3128/"
再service docker restart试试docker pull吧
