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 | 6d93d68d7d8264d91842c98267bd96fa1cd06ba2 (patch) | |
tree | 6c537e8b8e84999edfbe3b053157cfc6c9585247 /www/git.causal.agency/email-filter.sh | |
parent | Add htagml -m to rename main tag (diff) | |
download | src-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 'www/git.causal.agency/email-filter.sh')
-rw-r--r-- | www/git.causal.agency/email-filter.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/www/git.causal.agency/email-filter.sh b/www/git.causal.agency/email-filter.sh deleted file mode 100644 index ca778d69..00000000 --- a/www/git.causal.agency/email-filter.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/sh -set -eu - -read -r first rest || : -[ "${first}" != "${first#C}" ] && first='C.' -echo "${first}" "${rest}" |