diff options
author | June McEnroe <june@causal.agency> | 2021-10-01 23:29:16 +0000 |
---|---|---|
committer | June McEnroe <june@causal.agency> | 2021-10-02 00:18:59 +0000 |
commit | 9af53955dc09a9c7c510cd0ade758dd0af5bcabb (patch) | |
tree | a8e2542459810e8d2904310c813c3f8946fed7cc /www/git.causal.agency/source-filter.sh | |
parent | Add htagml -m to rename main tag (diff) | |
download | src-9af53955dc09a9c7c510cd0ade758dd0af5bcabb.tar.gz src-9af53955dc09a9c7c510cd0ade758dd0af5bcabb.zip |
Replace filter shell scripts with C program
Eliminates the need for a shell inside the chroot, along with cat, mktemp and rm. It's likely a bit faster too.
Diffstat (limited to '')
-rw-r--r-- | www/git.causal.agency/source-filter.sh | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/www/git.causal.agency/source-filter.sh b/www/git.causal.agency/source-filter.sh deleted file mode 100644 index 8782e266..00000000 --- a/www/git.causal.agency/source-filter.sh +++ /dev/null @@ -1,20 +0,0 @@ -#!/bin/sh -set -eu - -case "$1" in - (*.[chlmy]|Makefile|*.mk|*.[1-9]|.profile|.shrc|*.sh) - tmp=$(mktemp -d) - trap 'rm -fr "${tmp}"' EXIT - cd "${tmp}" - cat >"$1" - : >tags - case "$1" in - (*.[chlmy]) ctags -w "$1";; - (*) mtags "$1";; - esac - hilex -f html "$1" | htagml -i "$1" - ;; - (*) - exec hilex -t -n "$1" -f html - ;; -esac |