Resolva o problema de que modificar a fonte do docker é inútil

A fonte original do docker é muito lenta, e eu quero mudar para uma fonte mais rápida na China, mas depois que eu concluo a operação na página e a reinicio, ela não surte efeito

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

A partir dos resultados impressos, pode-se descobrir que o docker não extrai a imagem da fonte que configurei, mas ainda a extrai do endereço original https://registry-1.docker.io/v2/.

Portanto, eu puxo especificando o endereço de origem para resolver o problema

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

A fonte de alteração da operação da página tem tempo para recuperar o atraso, por que não entra em vigor.