From 7f0fd2bb6de504541f9c9fa8eaf5126087ae81a3 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Sat, 21 Dec 2024 11:06:19 -0400
Subject: 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.
---
 Biz/Ide/hooks/post-checkout | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'Biz/Ide/hooks')

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
 
-- 
cgit v1.2.3