diff options
Diffstat (limited to '')
| -rw-r--r-- | www/git.causal.agency/source-filter.sh | 17 |
1 files changed, 6 insertions, 11 deletions
diff --git a/www/git.causal.agency/source-filter.sh b/www/git.causal.agency/source-filter.sh index 514272db..8782e266 100644 --- a/www/git.causal.agency/source-filter.sh +++ b/www/git.causal.agency/source-filter.sh @@ -1,25 +1,20 @@ #!/bin/sh set -eu -ctags=/usr/bin/ctags -mtags=/usr/local/libexec/mtags -hilex=/usr/local/libexec/hilex -htagml=/usr/local/libexec/htagml - case "$1" in (*.[chlmy]|Makefile|*.mk|*.[1-9]|.profile|.shrc|*.sh) - tmp=$(mktemp -d -t source-filter) + tmp=$(mktemp -d) trap 'rm -fr "${tmp}"' EXIT cd "${tmp}" cat >"$1" - touch tags + : >tags case "$1" in - (*.[chlmy]) $ctags -w "$1";; - (*) $mtags "$1";; + (*.[chlmy]) ctags -w "$1";; + (*) mtags "$1";; esac - $hilex -f html "$1" | $htagml -i "$1" + hilex -f html "$1" | htagml -i "$1" ;; (*) - exec $hilex -t -n "$1" -f html + exec hilex -t -n "$1" -f html ;; esac |