basic ggtags setup

1 files changed, 9 insertions, 0 deletions

diff --git a/.shenv b/.shenv
index d44dec8a..3a8cceee 100755
--- a/.shenv
+++ b/.shenv
@@ -157,6 +157,15 @@ export IMPASS_KEYFILE
 PERLDOC="-oman"
 export PERLDOC
 
+# Select the pygments parser for GNU GLOBAL, which works for a lot of
+# languages.  Override with a gtags.conf in the project root.  Relies
+# on having /etc/gtags/gtags.conf defining which languages the
+# pygments parser works with (available in Debian global package
+# version 6.6.4-2 or later, or can copy that file from upstream source
+# to ~/.globalrc)
+GTAGSLABEL=pygments
+export GTAGSLABEL
+
 # "Setting the monitor port to 0 turns the monitoring function off,
 # and autossh will only restart ssh upon ssh's exit."
 #