diff --git a/workspace/Dockerfile b/workspace/Dockerfile index e62296fc..1cf07f28 100644 --- a/workspace/Dockerfile +++ b/workspace/Dockerfile @@ -33,7 +33,7 @@ USER root ARG CHANGE_SOURCE=false RUN if [ ${CHANGE_SOURCE} = true ]; then \ # Change application source from deb.debian.org to aliyun source - sed -i 's/archive.ubuntu.com/mirrors.aliyun.com/g' /etc/apt/sources.list; \ + sed -i 's/ports.ubuntu.com/mirrors.tuna.tsinghua.edu.cn/g' /etc/apt/sources.list; \ fi; ###########################################################################