diff options
| author | Ben Sima <ben@bsima.me> | 2024-12-21 11:06:19 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2024-12-21 10:06:19 -0500 |
| commit | 7f0fd2bb6de504541f9c9fa8eaf5126087ae81a3 (patch) | |
| tree | 759f07f538353304aed1961916466e8b47c787a5 /Biz/Ide/hooks/post-checkout | |
| parent | 2f6cd392ad63d5f2d21a2a5b45038dc127a2c3a9 (diff) | |
Rewrite mktags.sh to MakeTags.py
This makes tags for all third-party dependencies, and uses universal-ctags
instead of fast-tags. It's so nice having tags for /everything/. It's also
pretty fast, and caches the result for third-party deps anyway.
Oh yeah this also added an explicit list of third-party Python packages. I need
to filter the entire pkgset down to just the ones I'm using in order to make
tags for them.
Diffstat (limited to 'Biz/Ide/hooks/post-checkout')
| -rwxr-xr-x | Biz/Ide/hooks/post-checkout | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/Biz/Ide/hooks/post-checkout b/Biz/Ide/hooks/post-checkout index 72ec5a7..4f58c74 100755 --- a/Biz/Ide/hooks/post-checkout +++ b/Biz/Ide/hooks/post-checkout @@ -1,16 +1,18 @@ #!/usr/bin/env bash set -e -mktags=${CODEROOT:?}/Biz/Ide/mktags.sh +function MakeTags { + ${CODEROOT:?}/Biz/Ide/MakeTags.py +} 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"/**/* + MakeTags "$CODEROOT"/**/* elif [[ ${#changed[@]} -gt 0 ]] then - $mktags "${changed[@]}" + MakeTags "${changed[@]}" fi ## START BRANCHLESS CONFIG |