From 046b2f97f7ac09ab3b3451e17a139a29ec8f495e Mon Sep 17 00:00:00 2001 From: Jose Luis Rivero Date: Thu, 5 Sep 2024 18:23:28 +0200 Subject: [PATCH] Make pyright happy Signed-off-by: Jose Luis Rivero --- plugins/ign-docker-env.py | 1 + 1 file changed, 1 insertion(+) diff --git a/plugins/ign-docker-env.py b/plugins/ign-docker-env.py index e8c01d8..8e5298f 100644 --- a/plugins/ign-docker-env.py +++ b/plugins/ign-docker-env.py @@ -117,6 +117,7 @@ def normalize_args(args): def main(): try: + assert __doc__ is not None # make pyright happy ignition_version, linux_distro, docker_args, vol_args = normalize_args( docopt(str(__doc__), version='gzdev-docker-env 0.1.0')) rocker_cmd = build_rocker_command(ignition_version, linux_distro, docker_args, vol_args)