diff options
| author | Ben Sima <ben@bsima.me> | 2024-04-01 16:35:15 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2024-04-01 16:35:15 -0400 |
| commit | 99e114f5c598ce6321c81bbe41e212877a3c375c (patch) | |
| tree | 07b2ac7c96c0970291bce7691aa58054bd1f965a /Biz/Ide/hooks/post-checkout.sh | |
| parent | 4c7327d144a1e1fd2bd2cfa6a9c49b838674bdd8 (diff) | |
Make bild exception for git hooks
Apparently git hooks don't get called if they have a file extention, so these
weren't getting called at all since commit
904de577261e7024373e7a42fd763184764238f9. So this renames them back to the
extension-less versions, and adds an exception in bild for files in the
core.hooksPath directory.
Unfortunately this means Lint.hs will silently ignore these files, but I guess
that's okay for now.
Diffstat (limited to 'Biz/Ide/hooks/post-checkout.sh')
| -rwxr-xr-x | Biz/Ide/hooks/post-checkout.sh | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/Biz/Ide/hooks/post-checkout.sh b/Biz/Ide/hooks/post-checkout.sh deleted file mode 100755 index e4a0d67..0000000 --- a/Biz/Ide/hooks/post-checkout.sh +++ /dev/null @@ -1,19 +0,0 @@ -#!/usr/bin/env bash -set -e -mktags=${CODEROOT:?}/Biz/Ide/mktags.sh -old=$1 -new=$2 -# filter out only the changed haskell files -mapfile -t changed < <(git diff --diff-filter=d --name-only "$old" "$new" -- '*.hs') -if [[ ! -r tags ]] || [[ ! -r TAGS ]] -then - $mktags "$CODEROOT"/**/* -elif [[ ${#changed[@]} -gt 0 ]] -then - $mktags "${changed[@]}" -fi -direnv reload -## START BRANCHLESS CONFIG - -git branchless hook post-checkout "$@" -## END BRANCHLESS CONFIG |