diff --git a/bin/lint.sh b/bin/lint.sh index 2783dcca..605f966d 100755 --- a/bin/lint.sh +++ b/bin/lint.sh @@ -15,8 +15,9 @@ DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && cd .. && pwd )" source "$DIR/.venv/bin/activate" echo "[*] Running flake8..." -flake8 archivebox -echo +flake8 archivebox && echo "√ No errors found." + echo + echo "[*] Running mypy..." -mypy archivebox || true +echo "(skipping for now, run 'mypy archivebox' to run it manually)"