diff --git a/workspace/Dockerfile b/workspace/Dockerfile index fc4c5f80..924a58b8 100644 --- a/workspace/Dockerfile +++ b/workspace/Dockerfile @@ -32,8 +32,9 @@ 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/ports.ubuntu.com/mirrors.tuna.tsinghua.edu.cn/g' /etc/apt/sources.list; \ + # Change application source from ubuntu.com to tuna.tsinghua.edu.cn source + sed -i "s@http://.*archive.ubuntu.com@https://mirrors.tuna.tsinghua.edu.cn@g" /etc/apt/sources.list; \ + sed -i "s@http://.*security.ubuntu.com@https://mirrors.tuna.tsinghua.edu.cn@g" /etc/apt/sources.list; \ fi; ###########################################################################