Make pyright happy

Signed-off-by: Jose Luis Rivero <[email protected]>
gazebo-tooling · Sep 4, 2024 · 77b9a15 · 77b9a15
1 parent d0812ed
commit 77b9a15
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git 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['<command>']
     is_valid = {'ign-docker-env': True,

diff --git 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
@@ -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()