Docker是用sudo apt install docker.io安装的docker 1.12.1。
先查了一下配置文件：
userver@ubuntuServer:/etc/default$ systemctl show docker | grep Environment
EnvironmentFile=/etc/default/docker (ignore_errors=yes)
但是/etc/default/docker这个配置文件中是空的，仅有一些注释。在这个文件中加了配置：
[Service]
Environment="HTTP_PROXY=http://192.168.8.186:8087/"
不起作用。
后按照网上所说：
1）创建目录/etc/systemd/system/docker.service.d
sudo mkdir docker.service.d
2）在该目录下创建文件 http-proxy.conf，在文件中添加配置：
[Service]
Environment="HTTP_PROXY=http://192.168.8.186:8087/"
Environment="HTTPS_PROXY=http://192.168.8.186:8087/"
3）刷新配置
sudo systemctl daemon-reload
4）查看配置，就有了：
userver@ubuntuServer:/etc/systemd/system/docker.service.d$ systemctl show docker | grep Environment
Environment=HTTP_PROXY=http://192.168.8.186:8087/ HTTPS_PROXY=http://192.168.8.186:8087/
EnvironmentFile=/etc/default/docker (ignore_errors=yes)
5）重启docker服务
sudo systemctl restart docker
再执行docker pull时，就走代理了。