Ubuntu16.04下修改Docker的镜像源

Ubuntu16.04下修改Docker的镜像源及踩的坑的解决

最近在复现一篇论文代码，需要用到docker，但是直接使用官方源docker build会很慢，所以需要更换镜像源。方法很简单，但是会遇到坑。
首先可以找到国内可用的几个镜像源:

Docker 官方中国区：https://registry.docker-cn.com
网易：http://hub-mirror.c.163.com
中国科技大学：https://docker.mirrors.ustc.edu.cn
阿里云：https://y0qd3iq.mirror.aliyuncs.com

增加或修改Docker的镜像源配置文件/etc/docker/daemon.json，我这里使用的是gedit命令，会报警

sudo gedit /etc/docker/daemon.json

在文件中添加镜像源的地址，如

    {
      "registry-mirrors": ["https://docker.mirrors.ustc.edu.cn"]
    }

保存并退出，下一步有很多教程都没说，但是我认为是必要的

sudo systemctl daemon-reload
sudo systemctl restart docker

然后通过以下命令查看是否生效，但此时一般会报错error

docker info|grep Mirrors -A 1

直接使用docker build 也会报错大致如下:

failed to