From: Daan De Meyer <daan.j.demeyer@gmail.com>
Date: Thu, 6 Jun 2024 19:52:19 +0000 (+0200)
Subject: Make --tools-tree the same as --tools-tree=default
X-Git-Tag: v23.1~15
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=98ef09ffa3d4c79d82ddd3ea2433ec48a765117c;p=thirdparty%2Fmkosi.git

Make --tools-tree the same as --tools-tree=default

Saves on typing and makes it easier to use overall.
---

diff --git a/mkosi/config.py b/mkosi/config.py
index f227e9f80..565225592 100644
--- a/mkosi/config.py
+++ b/mkosi/config.py
@@ -2793,6 +2793,8 @@ SETTINGS = (
         parse=config_make_path_parser(required=False, constants=("default",)),
         paths=("mkosi.tools",),
         help="Look up programs to execute inside the given tree",
+        nargs="?",
+        const="default",
     ),
     ConfigSetting(
         dest="tools_tree_distribution",