From 7298c60d0fe280e6a23445f0b3ed78bd4f074375 Mon Sep 17 00:00:00 2001
From: Amor <794000949@qq.com>
Date: Mon, 30 Aug 2021 18:29:47 +0800
Subject: [PATCH] change workspace dockerfile mirror link

---
 workspace/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
 
 ###########################################################################