解决修改docker源无用的问题

docker原来的源很慢，想要修改成国内比较快的源，但是我在页面上操作完成、重启后，并没有生效

docker pull opengauss/opengauss:3.1.0
3.1.0: Pulling from opengauss/opengauss
Get "https://registry-1.docker.io/v2/": dialing registry-1.docker.io:443 static system has no HTTPS proxy: connecting to 18.215.138.58:443: dial tcp 18.215.138.58:443: i/o timeout

从打印结果可以发现，docker 并没有从我配置的源拉取镜像，而是还是从原来的地址https://registry-1.docker.io/v2/拉取。

故，我采用指定源地址的方式拉取，解决问题

docker pull hub.xxx.com/opengauss:3.1.0
# hub.xxx.com 就是指定的地址

页面操作变更源有时间追一下，为啥不生效。