diff --git a/bin/do_pylint.sh b/bin/do_pylint.sh index a290158..cefa22b 100755 --- a/bin/do_pylint.sh +++ b/bin/do_pylint.sh @@ -1,6 +1,6 @@ #!/bin/sh # -# set some environmental variables for pylint +# set some environmental variables for pylint and run it # PROJ_DIR=$(dirname "$0")/.. @@ -29,6 +29,7 @@ while test $# -gt 0 export PYTHONPATH export PYLINTRC -[ ! -x /usr/bin/pylint ] && echo "please run \"apt-get install pylint\" first" && exit 1 +[ ! -x /usr/bin/pylint ] && echo >&2 "please run \"apt-get install pylint\" first" && exit 1 + pylint $ARGS