From 77b9a15aca6946123cf06f7f806d2dfb6cfd82d5 Mon Sep 17 00:00:00 2001 From: Jose Luis Rivero Date: Wed, 4 Sep 2024 19:25:38 +0200 Subject: [PATCH] Make pyright happy Signed-off-by: Jose Luis Rivero --- gzdev.py | 1 + plugins/ign-docker-env.py | 1 + plugins/repository.py | 1 + 3 files changed, 3 insertions(+) diff --git a/gzdev.py b/gzdev.py index 523442a..d54d6ca 100755 --- a/gzdev.py +++ b/gzdev.py @@ -26,6 +26,7 @@ from docopt import docopt if __name__ == '__main__': + assert __doc__ is not None # make pyright happy args = docopt(__doc__, version='gzdev-core 0.1.0', options_first=True) cmd = args[''] is_valid = {'ign-docker-env': True, diff --git a/plugins/ign-docker-env.py b/plugins/ign-docker-env.py index 986a365..af3835d 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(__doc__, version='gzdev-docker-env 0.1.0')) rocker_cmd = build_rocker_command(ignition_version, linux_distro, docker_args, vol_args) diff --git a/plugins/repository.py b/plugins/repository.py index 4d802cb..b796d13 100644 --- a/plugins/repository.py +++ b/plugins/repository.py @@ -306,6 +306,7 @@ def remove_all_installed(): def main(): try: + assert __doc__ is not None # make pyright happy args = normalize_args(docopt(__doc__, version='gzdev-repository 0.2.0')) config = load_config_file()