Skip to content

Commit 77b9a15

Browse files
committed
Make pyright happy
Signed-off-by: Jose Luis Rivero <jrivero@osrfoundation.org>
1 parent d0812ed commit 77b9a15

File tree

3 files changed

+3
-0
lines changed

3 files changed

+3
-0
lines changed

gzdev.py

+1
Original file line numberDiff line numberDiff line change
@@ -26,6 +26,7 @@
2626
from docopt import docopt
2727

2828
if __name__ == '__main__':
29+
assert __doc__ is not None # make pyright happy
2930
args = docopt(__doc__, version='gzdev-core 0.1.0', options_first=True)
3031
cmd = args['<command>']
3132
is_valid = {'ign-docker-env': True,

plugins/ign-docker-env.py

+1
Original file line numberDiff line numberDiff line change
@@ -117,6 +117,7 @@ def normalize_args(args):
117117

118118
def main():
119119
try:
120+
assert __doc__ is not None # make pyright happy
120121
ignition_version, linux_distro, docker_args, vol_args = normalize_args(
121122
docopt(__doc__, version='gzdev-docker-env 0.1.0'))
122123
rocker_cmd = build_rocker_command(ignition_version, linux_distro, docker_args, vol_args)

plugins/repository.py

+1
Original file line numberDiff line numberDiff line change
@@ -306,6 +306,7 @@ def remove_all_installed():
306306

307307
def main():
308308
try:
309+
assert __doc__ is not None # make pyright happy
309310
args = normalize_args(docopt(__doc__,
310311
version='gzdev-repository 0.2.0'))
311312
config = load_config_file()

0 commit comments

Comments
 (0)