some of our boxes no longer have the default fedora repos, they use the local mirrors
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 4 Jul 2024 14:12:56 +0000 (16:12 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 4 Jul 2024 14:12:56 +0000 (16:12 +0200)
lbuild-initvm.sh

index 58030cc..317d694 100755 (executable)
@@ -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