summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2020-04-04 13:29:30 -0700
committerBen Sima <ben@bsima.me>2020-04-04 13:29:30 -0700
commitee77895806edc34b7937b5caba24f2eec7426d88 (patch)
tree2bac715867ab99c5b98c664d807b93100494f641
parentcaeb9cbba9d9d0bab40fd6b335f109a83bc41319 (diff)
Try to get tags working reliably
-rw-r--r--.dir-locals.el5
-rw-r--r--.gitignore1
2 files changed, 5 insertions, 1 deletions
diff --git a/.dir-locals.el b/.dir-locals.el
index 9d3d751..c6019a9 100644
--- a/.dir-locals.el
+++ b/.dir-locals.el
@@ -5,4 +5,7 @@
(eval . (put 'for 'scheme-indent-function 1))
(eval . (put 'if-not 'scheme-indent-function 2))))
(geiser-mode
- . ( (geiser-guile-load-path . "."))))
+ . ( (geiser-guile-load-path . ".")))
+ (haskell-mode
+ . ( ;; (tags-file-name . "TAGS")
+ (projectile-tags-command . "cd $BIZ_ROOT && hasktags -R -x ."))))
diff --git a/.gitignore b/.gitignore
index e2a9c20..3a189fa 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,7 @@
result*
_bild
TAGS
+tags
.tex
.pdf
_keep