Minor clean-ups.
Browse files- app.py +0 -1
- check-with-mypy +0 -2
app.py
CHANGED
|
@@ -341,7 +341,6 @@ try:
|
|
| 341 |
'version'
|
| 342 |
])
|
| 343 |
for option, optarg in options:
|
| 344 |
-
print(option)
|
| 345 |
if option in ( '-d', '--device' ):
|
| 346 |
runOnDevice = optarg
|
| 347 |
elif option in ( '-v', '--version' ):
|
|
|
|
| 341 |
'version'
|
| 342 |
])
|
| 343 |
for option, optarg in options:
|
|
|
|
| 344 |
if option in ( '-d', '--device' ):
|
| 345 |
runOnDevice = optarg
|
| 346 |
elif option in ( '-v', '--version' ):
|
check-with-mypy
CHANGED
|
@@ -4,7 +4,5 @@ SCRIPTS="app.py"
|
|
| 4 |
|
| 5 |
for script in $SCRIPTS ; do
|
| 6 |
echo "$script:"
|
| 7 |
-
# NOTE: --ignore-missing-imports is necessary, since netifaces
|
| 8 |
-
# does not provide typing hints!
|
| 9 |
mypy --strict --ignore-missing-imports $script
|
| 10 |
done
|
|
|
|
| 4 |
|
| 5 |
for script in $SCRIPTS ; do
|
| 6 |
echo "$script:"
|
|
|
|
|
|
|
| 7 |
mypy --strict --ignore-missing-imports $script
|
| 8 |
done
|