From: Daan De Meyer Date: Thu, 19 Oct 2023 09:39:56 +0000 (+0200) Subject: openmandriva: Fix mirror X-Git-Tag: v19~65 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=b1c6018aed334e35479fe13692bb84723c0c6b9a;p=thirdparty%2Fmkosi.git openmandriva: Fix mirror The mirrorlist is down it seems, let's use baseurl= as is done in the mandriva repo files. --- diff --git a/mkosi/distributions/openmandriva.py b/mkosi/distributions/openmandriva.py index e5403544e..bce607124 100644 --- a/mkosi/distributions/openmandriva.py +++ b/mkosi/distributions/openmandriva.py @@ -34,6 +34,7 @@ class Installer(DistributionInstaller): def setup(cls, state: MkosiState) -> None: release = state.config.release.strip("'") arch = state.config.distribution.architecture(state.config.architecture) + mirror = state.config.mirror or "http://mirror.openmandriva.org" if release[0].isdigit(): release_model = "rock" @@ -45,14 +46,10 @@ class Installer(DistributionInstaller): if state.config.local_mirror: release_url = f"baseurl={state.config.local_mirror}" updates_url = None - elif state.config.mirror: - baseurl = f"{state.config.mirror}/{release_model}/repository/{arch}/main" + else: + baseurl = f"{mirror}/{release_model}/repository/{arch}/main" release_url = f"baseurl={baseurl}/release/" updates_url = f"baseurl={baseurl}/updates/" - else: - baseurl = f"http://mirrors.openmandriva.org/mirrors.php?platform={release_model}&arch={arch}&repo=main" - release_url = f"mirrorlist={baseurl}&release=release" - updates_url = f"mirrorlist={baseurl}&release=updates" gpgurl = "https://raw.githubusercontent.com/OpenMandrivaAssociation/openmandriva-repos/master/RPM-GPG-KEY-OpenMandriva"