From f664669439c0f005e3579d1c67b4ebd9fa24de36 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Wed, 9 Feb 2022 18:13:40 -0500
Subject: Move git hooks to own folder

Instead of symlinking, just set the local git config.
---
 Biz/Ide/hooks/post-checkout | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100755 Biz/Ide/hooks/post-checkout

(limited to 'Biz/Ide/hooks/post-checkout')

diff --git a/Biz/Ide/hooks/post-checkout b/Biz/Ide/hooks/post-checkout
new file mode 100755
index 0000000..95b35cd
--- /dev/null
+++ b/Biz/Ide/hooks/post-checkout
@@ -0,0 +1,14 @@
+#!/usr/bin/env bash
+set -e
+init_tags=$BIZ_ROOT/Biz/Ide/init_tags.sh
+old=$1
+new=$2
+# filter out only the changed haskell files
+changed=($(git diff --diff-filter=d --name-only $old $new -- '*.hs'))
+if [[ ! -r tags ]]
+then
+    $init_tags
+elif [[ ${#changed[@]} -gt 0 ]]
+then
+    $init_tags $changed
+fi
-- 
cgit v1.2.3