]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
config: silence pyright warning 1636/head
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 20 Jun 2023 22:39:03 +0000 (16:39 -0600)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Thu, 22 Jun 2023 00:02:51 +0000 (18:02 -0600)
/home/runner/work/mkosi/mkosi/mkosi/config.py
  /home/runner/work/mkosi/mkosi/mkosi/config.py:1660:13 - error: "group" is possibly unbound (reportUnboundVariable)
1 error, 0 warnings, 0 informations

mkosi/config.py

index 1919a90404bc823d527256e1dfad02c699dc307b..7aa7a8936a9cbc5857408ac0982f2dcbed31535b 100644 (file)
@@ -1657,7 +1657,7 @@ class MkosiConfigParser:
             long = s.long if s.long else f"--{s.dest.replace('_', '-')}"
             opts = [s.short, long] if s.short else [long]
 
-            group.add_argument(
+            group.add_argument(    # type: ignore
                 *opts,
                 dest=s.dest,
                 choices=s.choices,