From fdebd84c97904af6959bac2422a5dcc1feefcb78 Mon Sep 17 00:00:00 2001 From: klgd Date: Mon, 7 Nov 2022 18:05:47 +0800 Subject: [PATCH] Fix change China mirror Change China mirror is wrong, fix it --- workspace/Dockerfile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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; ###########################################################################