diff options
author | lovetox <philipp@hoerist.com> | 2020-06-02 11:34:01 +0300 |
---|---|---|
committer | lovetox <philipp@hoerist.com> | 2020-06-07 09:24:21 +0300 |
commit | 8b6c0cf81d339351b12be433027bb5fdd29a015d (patch) | |
tree | 8808cbf6a87f483fd0fae83f33b6798c52597f52 /scripts | |
parent | 0d0ab3116bb28061db71180097af18abb2763870 (diff) |
Update pre-push-tests.sh
Diffstat (limited to 'scripts')
-rwxr-xr-x[-rw-r--r--] | scripts/dev/pre-push-tests.sh | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/scripts/dev/pre-push-tests.sh b/scripts/dev/pre-push-tests.sh index fcce039b8..562065f13 100644..100755 --- a/scripts/dev/pre-push-tests.sh +++ b/scripts/dev/pre-push-tests.sh @@ -1,4 +1,15 @@ -SCRIPTDIR=$(dirname $0) +#!/bin/sh +# exit when any command fails +set -e + +GREEN='\033[0;32m' + + +./scripts/dev/pylint-ci.sh gajim +echo "${GREEN}pylint: \t OK" mypy gajim -${SCRIPTDIR}/pylint-ci.sh --jobs=0 gajim +echo "${GREEN}mypy: \t\t OK" +codespell -I codespell.conf --skip="*__pycache__*,gajim/data/icons,gajim/data/sounds,gajim/data/emoticons" gajim +echo "${GREEN}codespell: \t OK" +echo "${GREEN}ready to push" |