diff options
Diffstat (limited to 'bin/pylint.sh')
-rwxr-xr-x | bin/pylint.sh | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/bin/pylint.sh b/bin/pylint.sh new file mode 100755 index 0000000..28087c7 --- /dev/null +++ b/bin/pylint.sh @@ -0,0 +1,19 @@ +#!/bin/bash +PYMAJOR=$1 + +if [ "$1" = "--version" ] +then + pylint --version + return +fi + +if [ "$PYMAJOR" <> "2" ] && [ "$PYMAJOR" <> "3" ] +then + PYMAJOR=2 + grep '#!.*python3' "${@: -1}" >/dev/null && PYMAJOR=3 +fi + +echo "Using python$PYMAJOR" + +/usr/bin/env "python$PYMAJOR" -m pylint "${@:2}" + |