]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Fix ToolsTreeRepositories= scope
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Mon, 7 Apr 2025 08:00:25 +0000 (10:00 +0200)
committerDaan De Meyer <daan.j.demeyer@gmail.com>
Mon, 7 Apr 2025 08:21:42 +0000 (10:21 +0200)
mkosi/config.py

index 9905f323f44dd753016d087b7480776583c69ec8..c0613847acdfde7e7db0a310f15a94b13d2d9d4f 100644 (file)
@@ -3556,7 +3556,7 @@ SETTINGS: list[ConfigSetting[Any]] = [
         section="Build",
         parse=config_make_list_parser(delimiter=","),
         help="Repositories to use for the default tools tree",
-        scope=SettingScope.main,
+        scope=SettingScope.tools,
     ),
     ConfigSetting(
         dest="tools_tree_sandbox_trees",