From 8b6c0cf81d339351b12be433027bb5fdd29a015d Mon Sep 17 00:00:00 2001 From: lovetox Date: Tue, 2 Jun 2020 10:34:01 +0200 Subject: Update pre-push-tests.sh --- scripts/dev/pre-push-tests.sh | 15 +++++++++++++-- 1 file changed, 13 insertions(+), 2 deletions(-) mode change 100644 => 100755 scripts/dev/pre-push-tests.sh (limited to 'scripts') diff --git a/scripts/dev/pre-push-tests.sh b/scripts/dev/pre-push-tests.sh old mode 100644 new mode 100755 index fcce039b8..562065f13 --- 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" -- cgit v1.2.3