From: Joerg Behrmann Date: Mon, 11 Sep 2023 12:06:20 +0000 (+0200) Subject: tools: use the same mirror as for other presets X-Git-Tag: v17~11^2~2 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a30f8c4e0f46fbc4649c775ffa7f85d862d01180;p=thirdparty%2Fmkosi.git tools: use the same mirror as for other presets --- diff --git a/mkosi/__init__.py b/mkosi/__init__.py index 4f41ce29e..502ce1a12 100644 --- a/mkosi/__init__.py +++ b/mkosi/__init__.py @@ -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),