From 092456434b2e4651abca57c13532c5d4230e9c1b Mon Sep 17 00:00:00 2001 From: deeplow Date: Mon, 22 Aug 2022 11:56:44 +0100 Subject: [PATCH] don't type check dev scripts --- Makefile | 5 +---- container/dangerzone.py | 2 +- 2 files changed, 2 insertions(+), 5 deletions(-) diff --git a/Makefile b/Makefile index f6ad8cc..d0ae384 100644 --- a/Makefile +++ b/Makefile @@ -27,10 +27,7 @@ mypy-host: mypy-container: mypy $(MYPY_ARGS) container -mypy-dev-scripts: - mypy $(MYPY_ARGS) install dev_scripts/* *.py - -mypy: mypy-host mypy-container # mypy-dev-scripts ## check type hints with mypy +mypy: mypy-host mypy-container ## check type hints with mypy .PHONY: lint lint: lint-black lint-isort mypy ## check the code with various linters diff --git a/container/dangerzone.py b/container/dangerzone.py index 3f55340..a8ed3a7 100644 --- a/container/dangerzone.py +++ b/container/dangerzone.py @@ -379,7 +379,7 @@ class DangerzoneConverter: png_filename, ocr_filename, "-l", - os.environ.get("OCR_LANGUAGE"), # type: ignore + os.environ.get("OCR_LANGUAGE"), # type: ignore "--dpi", "70", "pdf",