From 2a3d29f0801d3c007d8656611df198b76023b535 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Krist=C3=B3f=20T=C3=B3th?= Date: Fri, 17 May 2019 00:04:36 +0200 Subject: [PATCH] Remove git hooks --- .git-hooks/apply_hooks.sh | 22 ---------------------- .git-hooks/pre-push.sh | 18 ------------------ 2 files changed, 40 deletions(-) delete mode 100755 .git-hooks/apply_hooks.sh delete mode 100755 .git-hooks/pre-push.sh diff --git a/.git-hooks/apply_hooks.sh b/.git-hooks/apply_hooks.sh deleted file mode 100755 index f95f8f4..0000000 --- a/.git-hooks/apply_hooks.sh +++ /dev/null @@ -1,22 +0,0 @@ -#!/usr/bin/env bash -set -eu -set -o pipefail -set -o errtrace -shopt -s expand_aliases - -[ "$(uname)" == "Darwin" ] && alias readlink="greadlink" || : - -GREEN='\033[0;32m' -NC='\033[0m' - - -here="$(dirname "$(readlink -f "$0")")" -cd "${here}/../.git/hooks" - -rm -f pre-push pre-commit || : -prepush_script="../../.git-hooks/pre-push.sh" -precommit_script="../../.git-hooks/pre-commit.sh" -[ -f "${prepush_script}" ] && ln -s "${prepush_script}" pre-push -[ -f "${precommit_script}" ] && ln -s "${precommit_script}" pre-commit - -echo -e "\n${GREEN}Done! Hooks applied, you can start committing and pushing!${NC}\n" diff --git a/.git-hooks/pre-push.sh b/.git-hooks/pre-push.sh deleted file mode 100755 index e2025ac..0000000 --- a/.git-hooks/pre-push.sh +++ /dev/null @@ -1,18 +0,0 @@ -#!/usr/bin/env bash -set -eu -set -o pipefail -set -o errtrace -shopt -s expand_aliases - -RED='\033[0;31m' -GREEN='\033[0;32m' -NC='\033[0m' - - -echo -e "Running pylint...\n" -if pylint lib; then - echo -e "\n${GREEN}Pylint found no errors!${NC}\n" -else - echo -e "\n${RED}Pylint failed with errors${NC}\n" - exit 1 -fi