darkwiiplayer/darkrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Fix "off" option for git indentation hook

Browse source
This commit is contained in:
Talia 2021-01-21 14:20:52 +01:00
parent 5157e6ecff
commit 91d7bd2224
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
githooks/pre-commit
View file

@ -45,10 +45,10 @@ case $indentation in
done done
reset reset
;; ;;
"") ""|off)
echo "Skipping indentation check" echo "Skipping indentation check"
;; ;;
*|off) *)
echo "Cannot check for indentation type \033[31m'$indentation'\033[00m" echo "Cannot check for indentation type \033[31m'$indentation'\033[00m"
exit 1 exit 1
;; ;;