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

Author: n-soda

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 \