diff options
author | lovetox <philipp@hoerist.com> | 2020-06-02 11:34:01 +0300 |
---|---|---|
committer | lovetox <philipp@hoerist.com> | 2020-06-02 11:34:01 +0300 |
commit | f8e137fa6df31e456190d93ae6e7583127129c80 (patch) | |
tree | 033c2c8640f68b69449a64825370c0cdf79d1427 /scripts | |
parent | e24f63c3d730ec1388a4721cdc37bd455c701e47 (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" |