Docker 是一個開源的容器化平臺，可以幫助開發者更加便捷地打包、部署和運行應用。不過，在國內下載 Docker 鏡像時可能會受到網絡限制，下載速度會很慢。因此，需要修改 Docker 的源為國內鏡像源，以便更快地獲取鏡像。

$ sudo mkdir -p /etc/docker
$ sudo tee /etc/docker/daemon.json<<-'EOF'
{
"registry-mirrors": ["https://registry.docker-cn.com"]  # 修改為國內鏡像源地址
}
EOF
$ sudo systemctl daemon-reload
$ sudo systemctl restart docker

上述代碼中，首先需要創建一個目錄 /etc/docker，然后使用 tee 命令在該目錄下生成一個名為 daemon.json 的文件，并將修改好的鏡像源地址寫入該文件中。接著，需要重新加載 Docker 的守護進程并重啟 Docker 服務，以使修改生效。

完成上述步驟后，再次執行 docker push 或 docker pull 命令時，Docker 就會使用國內鏡像源，速度會更快。