DOMAIN=pl.sophia.inria.fr
-DEFAULT_DISTRO=f39
+DEFAULT_DISTRO=f41
DEFAULT_MEMORY=16384
CONFIRM=
us_fedora_url=rsync://mirrors.kernel.org/fedora
eu_fedora_url=rsync://mirror1.hs-esslingen.de/fedora/linux
-default_distroname="f39"
-all_distronames="f37 f39"
+default_distroname="f41"
+all_distronames="f39 f41"
global_arch="x86_64"
# XXX fixme : when creating a 32bits VM we need to call linux32 as appropriate...s
-DEFAULT_FCDISTRO=f39
+DEFAULT_FCDISTRO=f41
DEFAULT_PLDISTRO=lxc
DEFAULT_PERSONALITY=linux64
DEFAULT_MEMORY=3072
export PATH=$PATH:/bin:/sbin
# default values, tunable with command-line options
-DEFAULT_FCDISTRO=f39
+DEFAULT_FCDISTRO=f41
DEFAULT_PLDISTRO=lxc
DEFAULT_PERSONALITY=linux64
DEFAULT_MAILDEST="thierry.parmentelat at inria.fr"
+++ /dev/null
-[base]
-name=CentOS-$releasever - Base
-baseurl=@MIRRORURL@/centos/6.4/os/$basearch/
-gpgcheck=1
-gpgkey=@MIRRORURL@/centos/RPM-GPG-KEY-CentOS-6
-
-[updates]
-name=CentOS-$releasever - Updates
-baseurl=@MIRRORURL@/centos/6.4/updates/$basearch/
-gpgcheck=1
-gpgkey=@MIRRORURL@/centos/RPM-GPG-KEY-CentOS-6
-
-[epel]
-name=Extra Packages for Enterprise Linux 6 - $basearch
-baseurl=@MIRRORURL@/fedora-epel/6/i386/
-failovermethod=priority
-enabled=1
-gpgcheck=1
-gpgkey=@MIRRORURL@/fedora-epel/RPM-GPG-KEY-EPEL-6
+++ /dev/null
-[fedora]
-name=Fedora 37 - $basearch
-baseurl=@MIRRORURL@/fedora/releases/37/Everything/$basearch/os/
-enabled=1
-metadata_expire=7d
-gpgcheck=1
-gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-37-primary
-
-[updates]
-name=Fedora 37 - $basearch - Updates
-baseurl=@MIRRORURL@/fedora/updates/37/Everything/$basearch/
-enabled=1
-metadata_expire=7d
-gpgcheck=1
-gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-37-primary
-
-[modular]
-name=Fedora 37 - $basearch - Updates
-baseurl=@MIRRORURL@/fedora/updates/37/Modular/$basearch/
-enabled=1
-metadata_expire=7d
-gpgcheck=1
-gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-37-primary
--- /dev/null
+[fedora]
+name=Fedora 41 - $basearch
+baseurl=@MIRRORURL@/fedora/releases/41/Everything/$basearch/os/
+enabled=1
+metadata_expire=7d
+gpgcheck=1
+gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-41-primary
+
+[updates]
+name=Fedora 41 - $basearch - Updates
+baseurl=@MIRRORURL@/fedora/updates/41/Everything/$basearch/
+enabled=1
+metadata_expire=7d
+gpgcheck=1
+gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-41-primary
+
+[modular]
+name=Fedora 41 - $basearch - Updates
+baseurl=@MIRRORURL@/fedora/updates/41/Modular/$basearch/
+enabled=1
+metadata_expire=7d
+gpgcheck=1
+gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-41-primary
default_arch = 'x86_64'
known_archs = ['i386', 'i686', 'x86_64']
-default_fcdistro = 'f39'
+default_fcdistro = 'f41'
known_fcdistros = [
'centos5', 'centos6',
# oldies but we have references to that in the pkgs files
# these ones are still relevant;
# f32 is mentioned to be able to use create-vms with that distro
# as we're running into issues to build a minimal f33 from a f29 host
- 'f29', 'f31', 'f32', 'f33', 'f35', 'f37', 'f39', 'f40',
+ 'f29', 'f31', 'f32', 'f33', 'f35', 'f37', 'f39', 'f41',
# scientific linux
'sl6',
# debians