add run-pylint.sh

Author: matthiasdiener

.gitignore

@@ -16,3 +16,6 @@ distribute*tar.gz
 .mypy_cache
 
 *.dat
+
+.pylintrc.yml
+.run-pylint.py

run-pylint.sh

@@ -0,0 +1,23 @@
+#!/bin/bash
+
+set -o errexit -o nounset
+
+ci_support="https://gitlab.tiker.net/inducer/ci-support/raw/main"
+
+if [[ ! -f .pylintrc.yml ]]; then
+    curl -o .pylintrc.yml "${ci_support}/.pylintrc-default.yml"
+fi
+
+
+if [[ ! -f .run-pylint.py ]]; then
+    curl -L -o .run-pylint.py "${ci_support}/run-pylint.py"
+fi
+
+
+PYLINT_RUNNER_ARGS="--jobs=4 --yaml-rcfile=.pylintrc.yml"
+
+if [[ -f .pylintrc-local.yml ]]; then
+    PYLINT_RUNNER_ARGS+=" --yaml-rcfile=.pylintrc-local.yml"
+fi
+
+PYTHONWARNINGS=ignore python .run-pylint.py $PYLINT_RUNNER_ARGS pytools  examples "$@"