summaryrefslogtreecommitdiff
path: root/.envrc
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2024-06-12 16:07:50 -0400
committerBen Sima <ben@bsima.me>2024-12-21 10:06:42 -0500
commit209fa4ec72c8719d82e049c5d10a06f0a679671c (patch)
treea913643ad084716c9504dbb0427f129795b0d8ad /.envrc
parent4bbbd9ded5a88a2d0681aab86892e1058b538467 (diff)
Followup changes to ctags
These were just hanging around as I was doing other things. Included in this commit are the following: - Configure it in .ctags.d to only index the languages I use - Add support for sources listed in Sources.json - Fix broken link to inspekt3d repo
Diffstat (limited to '.envrc')
-rw-r--r--.envrc1
1 files changed, 1 insertions, 0 deletions
diff --git a/.envrc b/.envrc
index 08ca0d5..7e9583e 100644
--- a/.envrc
+++ b/.envrc
@@ -54,6 +54,7 @@
[[ -n "CI" ]] && exit 0
#
# create third-party tags
+ [[ -L "$CODEROOT"/_/src/.ctags.d ]] || ln -s "$CODEROOT"/.ctags.d "$CODEROOT"/_/src/.ctags.d
function MakeExternalTags {
"$CODEROOT"/Biz/Ide/MakeTags.py --external $(tr ':' '\n' <<< "$ALL_SOURCES")
}