From 21ccc9f4ffe6d737b283b49eb6419eeca0aba763 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Mon, 13 Dec 2021 18:29:33 -0500 Subject: Remember to delete pre-push --- Biz/Bild/ShellHook.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Biz/Bild/ShellHook.sh b/Biz/Bild/ShellHook.sh index cff40c6..274ab4e 100644 --- a/Biz/Bild/ShellHook.sh +++ b/Biz/Bild/ShellHook.sh @@ -25,7 +25,7 @@ alias guile="guile -L $BIZ_ROOT" alias tree="tree -I _ -F" # link git hooks -rm -f $BIZ_ROOT/.git/hooks/{post-checkout,post-merge,pre-commit} +rm -f $BIZ_ROOT/.git/hooks/{post-checkout,post-merge,pre-commit,pre-push} ln -s $BIZ_ROOT/Biz/Ide/post-checkout $BIZ_ROOT/.git/hooks/post-checkout ln -s $BIZ_ROOT/Biz/Ide/post-merge $BIZ_ROOT/.git/hooks/post-merge ln -s $BIZ_ROOT/Biz/Ide/pre-commit $BIZ_ROOT/.git/hooks/pre-commit -- cgit v1.2.3