Skip to content

Instantly share code, notes, and snippets.

@lazamar

lazamar/mktags.sh

Last active November 14, 2023 21:46
Show Gist options
  • Save lazamar/55a1c9bf78a54d70007c7ac83059ca37 to your computer and use it in GitHub Desktop.
Save lazamar/55a1c9bf78a54d70007c7ac83059ca37 to your computer and use it in GitHub Desktop.
Download ZIP
Creating tags
Raw
mktags.sh
#!/bin/bash
set -e
rm -f tags
find . -name "*.hs*" | fast-tags -
# ag respects .github
ag -l | ctags --optlib-dir=/home/lazamar/ --excmd=number --links=no -L- # This must be universal-ctags
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment