docker/dev centos8: use vault.centos.org instead of mirrorlist.centos…

….org because CentOS Stream 8 reaches end-of-life at the end of May 2024
oss-tsukuba · Jul 9, 2024 · ad1e201 · ad1e201
1 parent 3092cca
commit ad1e201
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/docker/dev/common/centos8-base-Dockerfile b/docker/dev/common/centos8-base-Dockerfile
@@ -6,6 +6,14 @@ FROM quay.io/centos/centos:stream8
 ARG TZ
 ENV TZ=${TZ}
 
+# CentOS Stream 8 reaches end-of-life at the end of May 2024
+RUN for i in /etc/yum.repos.d/CentOS-*.repo; do \
+	cp -p ${i} ${i}.bak && \
+	sed -e '/^mirrorlist=/s/^/#/' \
+	    -e '/^#baseurl=/s|^#baseurl=http://mirror|baseurl=http://vault|' \
+		${i}.bak >${i}; \
+    done
+
 RUN dnf -y update \
     && dnf -y install \
     sudo \