From f2273fb2052883bf8ce90c00bef3f875e8e8fdb6 Mon Sep 17 00:00:00 2001
From: Hans Fangohr <hans.fangohr@mpsd.mpg.de>
Date: Sat, 13 May 2023 18:57:20 +0200
Subject: [PATCH] fix last commit, and add documentation.
(We need some CI to catch at least the trivial mistakes like the one from the
last commit.)
---
install-mpsd-software-environment.py | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/install-mpsd-software-environment.py b/install-mpsd-software-environment.py
index b68e56f..2da318e 100755
--- a/install-mpsd-software-environment.py
+++ b/install-mpsd-software-environment.py
@@ -300,8 +300,10 @@ def main():
subp.add_argument("release", type=str, help="Release version to install or remove")
if cmd in ["install", "reinstall"]:
subp.add_argument(
- "--toolchain",
- "--toolchains",
+ "--toolchains", # first option defines attribute
+ # name `args.toolchains` in `args = parser_args()`
+ "--toolchain", # allow singular as alternative
+ # (-> creates attribute `args.toolchains` if used)
type=str,
nargs="+",
default="NONE",
--
GitLab