From f8e137fa6df31e456190d93ae6e7583127129c80 Mon Sep 17 00:00:00 2001
From: lovetox <philipp@hoerist.com>
Date: Tue, 2 Jun 2020 10:34:01 +0200
Subject: [PATCH] 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
diff --git a/scripts/dev/pre-push-tests.sh b/scripts/dev/pre-push-tests.sh
old mode 100644
new mode 100755
index fcce039b8d..562065f13f
--- 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"
--
GitLab