]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
tools: use the same mirror as for other presets
authorJoerg Behrmann <behrmann@physik.fu-berlin.de>
Mon, 11 Sep 2023 12:06:20 +0000 (14:06 +0200)
committerJoerg Behrmann <behrmann@physik.fu-berlin.de>
Mon, 11 Sep 2023 12:55:46 +0000 (14:55 +0200)
mkosi/__init__.py

index 4f41ce29e9ca4d0441a181a00d8fe7501e456d32..502ce1a12b4afb629ab9e02b71015cde4d694e0c 100644 (file)
@@ -2170,6 +2170,7 @@ def finalize_tools(args: MkosiArgs, presets: Sequence[MkosiConfig]) -> Sequence[
             "--directory", "",
             "--distribution", str(distribution),
             "--release", release,
+            *(["--mirror", p.mirror] if p.mirror and p.distribution == distribution else []),
             "--repository-key-check", str(p.repository_key_check),
             "--cache-only", str(p.cache_only),
             "--output-dir", str(p.output_dir),