From ad1e201f6bb57df7c4c55a6c96c20f64adfe1c95 Mon Sep 17 00:00:00 2001
From: SODA Noriyuki <n-soda@users.sourceforge.net>
Date: Tue, 9 Jul 2024 23:22:20 +0900
Subject: [PATCH] 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
---
 docker/dev/common/centos8-base-Dockerfile | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/docker/dev/common/centos8-base-Dockerfile b/docker/dev/common/centos8-base-Dockerfile
index 81d45ec3f..e6340f2a9 100644
--- 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 \