From eee40e01fe290f5017cf20b328ad3a785f6530ce Mon Sep 17 00:00:00 2001
From: Matthias Diener <mdiener@illinois.edu>
Date: Thu, 28 Mar 2024 08:57:27 -0500
Subject: [PATCH] add run-pylint.sh

---
 .gitignore    |  3 +++
 run-pylint.sh | 23 +++++++++++++++++++++++
 2 files changed, 26 insertions(+)
 create mode 100755 run-pylint.sh

diff --git a/.gitignore b/.gitignore
index 478e0bf..148bdf1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -16,3 +16,6 @@ distribute*tar.gz
 .mypy_cache
 
 *.dat
+
+.pylintrc.yml
+.run-pylint.py
diff --git a/run-pylint.sh b/run-pylint.sh
new file mode 100755
index 0000000..30dbe83
--- /dev/null
+++ b/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 "$@"
-- 
GitLab