summary refs log tree commit diff
path: root/www/git.causal.agency/source-filter.sh
diff options
context:
space:
mode:
authorC. McEnroe <june@causal.agency>2021-10-01 23:29:16 +0000
committerC. McEnroe <june@causal.agency>2021-10-02 00:18:59 +0000
commit6d93d68d7d8264d91842c98267bd96fa1cd06ba2 (patch)
tree6c537e8b8e84999edfbe3b053157cfc6c9585247 /www/git.causal.agency/source-filter.sh
parentAdd htagml -m to rename main tag (diff)
downloadsrc-6d93d68d7d8264d91842c98267bd96fa1cd06ba2.tar.gz
src-6d93d68d7d8264d91842c98267bd96fa1cd06ba2.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.sh20
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 8782e26..0000000
--- 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