diff --git a/tools/lint.sh b/tools/lint.sh new file mode 100755 index 000000000..bb8cf307a --- /dev/null +++ b/tools/lint.sh @@ -0,0 +1,4 @@ +#!/bin/bash + +TOOLS="$(cd "`dirname "$0"`"; pwd)" +pylint -E -j 0 -f colorized --disable=E0602 $TOOLS/../anki $TOOLS/../aqt