diff options
| author | Marvin W <git@larma.de> | 2025-07-20 22:27:45 +0200 |
|---|---|---|
| committer | Marvin W <git@larma.de> | 2025-07-20 23:46:40 +0200 |
| commit | b380519518fdd95f2d40b417cf8eb801db0ce041 (patch) | |
| tree | d2d5efc8b86fe12030eeedc4f01dcd794953ad5d | |
| parent | 50fbbffbcd6acc4ec45ca0f58d479e2bccfe9dc3 (diff) | |
Fix version.py for old python argparse
| -rw-r--r-- | libdino/version.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/libdino/version.py b/libdino/version.py index ca779898..87490d18 100644 --- a/libdino/version.py +++ b/libdino/version.py @@ -56,8 +56,7 @@ def main(): p.add_argument("--git", help="Path to git executable", default="git") p.add_argument("version_file", metavar="VERSION_FILE", help="Use this file's contents as version if the file exists") - p.add_argument("ignored", nargs="*", help=argparse.SUPPRESS) - args = p.parse_args() + args, unknown = p.parse_known_args() version = compute_version(args.version_file, args.git_repo, args.git) print(version) |