From 91d7bd22249476df8987f9eb8765afef83ded60f Mon Sep 17 00:00:00 2001 From: DarkWiiPlayer Date: Thu, 21 Jan 2021 14:20:52 +0100 Subject: [PATCH] Fix "off" option for git indentation hook --- githooks/pre-commit | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/githooks/pre-commit b/githooks/pre-commit index 05b6d5d..e083cfe 100755 --- a/githooks/pre-commit +++ b/githooks/pre-commit @@ -45,10 +45,10 @@ case $indentation in done reset ;; - "") + ""|off) echo "Skipping indentation check" ;; - *|off) + *) echo "Cannot check for indentation type \033[31m'$indentation'\033[00m" exit 1 ;;