]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Update help for --tools-tree-packages a bit
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Sat, 30 Sep 2023 17:32:59 +0000 (19:32 +0200)
committerDaan De Meyer <daan.j.demeyer@gmail.com>
Sun, 1 Oct 2023 15:58:51 +0000 (17:58 +0200)
mkosi/config.py
mkosi/resources/mkosi.md

index 6bb14ddbdc9f3ae7dcf336309519b5903bb540d5..319363e81b5b167fd8f5fe1239758d910253eb95 100644 (file)
@@ -1733,7 +1733,7 @@ SETTINGS = (
         metavar="PACKAGE",
         section="Host",
         parse=config_make_list_parser(delimiter=","),
-        help="Add additional packages to the tools tree",
+        help="Add additional packages to the default tools tree",
     ),
     MkosiConfigSetting(
         dest="runtime_trees",
index 743c569eb4696a6fb8409fc6395306ff4604fe18..d808a692ac78b2864c02ca9bb0d913ffc63f6c65 100644 (file)
@@ -1166,9 +1166,9 @@ boolean argument: either `1`, `yes`, or `true` to enable, or `0`, `no`,
 
 `ToolsTreePackages=`, `--tools-tree-packages=`
 
-: Extra packages to install into the tools tree. Takes a comma separated list
-  of package specifications. This option may be used multiple times in which
-  case the specified package lists are combined.
+: Extra packages to install into the default tools tree. Takes a comma
+  separated list of package specifications. This option may be used
+  multiple times in which case the specified package lists are combined.
 
 `RuntimeTrees=`, `--runtime-tree=`