codestyle: add pylint.sh (#63120)

2022-03-23 17:20:41 +01:00 · 2022-03-23 17:20:41 +01:00 · 7b4bdfab4c
parent 2f16a39a93
commit 7b4bdfab4c
1 changed files with 13 additions and 0 deletions
--- a/pylint.sh
+++ b/pylint.sh
@ -0,0 +1,13 @@
+#!/bin/bash
+
+set -e
+
+if [ -f /var/lib/jenkins/pylint.django.rc ]; then
+	PYLINT_RC=/var/lib/jenkins/pylint.django.rc
+elif [ -f pylint.django.rc ]; then
+	PYLINT_RC=pylint.django.rc
+else
+	echo No pylint RC found
+	exit 0
+fi
+pylint -f parseable --rcfile ${PYLINT_RC} "$@" > pylint.out || /bin/true