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/拉取。
故，我采用指定源地址的方式拉取，解决问题文章来源：https://www.toymoban.com/news/detail-520451.html
docker pull hub.xxx.com/opengauss:3.1.0
# hub.xxx.com 就是指定的地址
页面操作变更源有时间追一下，为啥不生效。文章来源地址https://www.toymoban.com/news/detail-520451.html
到了这里，关于解决修改docker源无用的问题的文章就介绍完了。如果您还想了解更多内容，请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章，希望大家以后多多支持TOY模板网！
