misc/delete-old-helper.sh: simple script to delete old+abandoned helper files

diff --git a/misc/delete-old-helper.sh b/misc/delete-old-helper.sh
new file mode 100644 (file)
index 0000000..1a85fcd
--- /dev/null
+++ b/misc/delete-old-helper.sh
@@ -0,0 +1,4 @@
+#!/bin/sh
+
+find helper/CHK_encoding -mtime +7 -print0 |xargs -0 rm
+find helper/CHK_incoming -mtime +14 -print0 |xargs -0 rm