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 f227e9f80f7bc98f37ac9d41318d32e9335b0f41..5652255920aa615a0efa21c6c0fc51f26d0d4099 100644 (file)
--- 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",