DOMAIN=pl.sophia.inria.fr
-DEFAULT_DISTRO=f37
+DEFAULT_DISTRO=f39
DEFAULT_MEMORY=16384
CONFIRM=
us_fedora_url=rsync://mirrors.kernel.org/fedora
eu_fedora_url=rsync://mirror1.hs-esslingen.de/fedora/linux
-default_distroname="f37"
-all_distronames="f35 f37"
+default_distroname="f39"
+all_distronames="f37 f39"
global_arch="x86_64"
# XXX fixme : when creating a 32bits VM we need to call linux32 as appropriate...s
-DEFAULT_FCDISTRO=f37
+DEFAULT_FCDISTRO=f39
DEFAULT_PLDISTRO=lxc
DEFAULT_PERSONALITY=linux64
DEFAULT_MEMORY=3072
export PATH=$PATH:/bin:/sbin
# default values, tunable with command-line options
-DEFAULT_FCDISTRO=f37
+DEFAULT_FCDISTRO=f39
DEFAULT_PLDISTRO=lxc
DEFAULT_PERSONALITY=linux64
DEFAULT_MAILDEST="thierry.parmentelat at inria.fr"
+++ /dev/null
-[fedora]
-name=Fedora 33 - $basearch
-baseurl=@MIRRORURL@/fedora/releases/33/Everything/$basearch/os/
-enabled=1
-metadata_expire=7d
-gpgcheck=1
-gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-33-primary
-
-[updates]
-name=Fedora 33 - $basearch - Updates
-baseurl=@MIRRORURL@/fedora/updates/33/Everything/$basearch/
-enabled=1
-metadata_expire=7d
-gpgcheck=1
-gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-33-primary
-
-[modular]
-name=Fedora 33 - $basearch - Updates
-baseurl=@MIRRORURL@/fedora/updates/33/Modular/$basearch/
-enabled=1
-metadata_expire=7d
-gpgcheck=1
-gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-33-primary
+++ /dev/null
-[fedora]
-name=Fedora 35 - $basearch
-baseurl=@MIRRORURL@/fedora/releases/35/Everything/$basearch/os/
-enabled=1
-metadata_expire=7d
-gpgcheck=1
-gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-35-primary
-
-[updates]
-name=Fedora 35 - $basearch - Updates
-baseurl=@MIRRORURL@/fedora/updates/35/Everything/$basearch/
-enabled=1
-metadata_expire=7d
-gpgcheck=1
-gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-35-primary
-
-[modular]
-name=Fedora 35 - $basearch - Updates
-baseurl=@MIRRORURL@/fedora/updates/35/Modular/$basearch/
-enabled=1
-metadata_expire=7d
-gpgcheck=1
-gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-35-primary
--- /dev/null
+[fedora]
+name=Fedora 39 - $basearch
+baseurl=@MIRRORURL@/fedora/releases/39/Everything/$basearch/os/
+enabled=1
+metadata_expire=7d
+gpgcheck=1
+gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-39-primary
+
+[updates]
+name=Fedora 39 - $basearch - Updates
+baseurl=@MIRRORURL@/fedora/updates/39/Everything/$basearch/
+enabled=1
+metadata_expire=7d
+gpgcheck=1
+gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-39-primary
+
+[modular]
+name=Fedora 39 - $basearch - Updates
+baseurl=@MIRRORURL@/fedora/updates/39/Modular/$basearch/
+enabled=1
+metadata_expire=7d
+gpgcheck=1
+gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-39-primary
default_arch = 'x86_64'
known_archs = ['i386', 'i686', 'x86_64']
-default_fcdistro = 'f37'
+default_fcdistro = 'f39'
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',
+ 'f29', 'f31', 'f32', 'f33', 'f35', 'f37', 'f39',
# scientific linux
'sl6',
# debians