mirror/archivebox
1
0
Fork 0
mirror of https://github.com/pirate/ArchiveBox.git synced 2025-08-08 15:46:42 +02:00
Code Issues Releases Wiki Activity

fix lint script

Browse Source
This commit is contained in:
Nick Sweeting
2020-07-27 23:59:10 -04:00
parent d70bb7980e
commit 6073b454b0
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
bin/lint.sh
View File

@@ -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)"