Remove unused directory
| author |
Steve Losh <steve@stevelosh.com> |
| date |
Sun, 19 Jul 2020 11:10:05 -0400 |
| parents |
b92a70549d55 |
| children |
c05932aa401f |
#!/bin/bash
set -e
/usr/local/bin/ctags -R . && sed -i .bak -E -e '/^[^ ]+ [^ ]+.py .+v$/d' tags
mv tags tags1
touch tags2
echo '!_TAG_FILE_FORMAT 2 /extended format; --format=1 will not append ;" to lines/' > tags
echo '!_TAG_FILE_SORTED 1 /0=unsorted, 1=sorted, 2=foldcase/' >> tags
cat tags1 tags2 | grep -Ev '^!' | grep -v 'anonymous_function' | sort >> tags
rm tags1 tags2