From 3941b16076e8a6dd45e7ebe850c3bac25e5095d0 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Thu, 4 Jul 2024 16:12:56 +0200
Subject: [PATCH] some of our boxes no longer have the default fedora repos,
 they use the local mirrors

---
 lbuild-initvm.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lbuild-initvm.sh b/lbuild-initvm.sh
index 58030ccc..317d694a 100755
--- a/lbuild-initvm.sh
+++ b/lbuild-initvm.sh
@@ -202,6 +202,8 @@ function fedora_download() {
     # copy yum config and repo files
     cp /etc/yum.conf $INSTALL_ROOT/etc/
     cp /etc/yum.repos.d/fedora{,-updates}.repo $INSTALL_ROOT/etc/yum.repos.d/
+    # on boxes managed by Francis's upgrade script, we use other mirrors
+    cp /etc/yum.repos.d/so-fedora{,-updates}.repo $INSTALL_ROOT/etc/yum.repos.d/
 
     # append fedora repo files with hardwired releasever and basearch
     if [ -z "$USE_UPSTREAM_REPOS" ]; then
-- 
2.47.0