diff options
Diffstat (limited to 'tools/apply-filter')
-rwxr-xr-x | tools/apply-filter | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tools/apply-filter b/tools/apply-filter new file mode 100755 index 0000000..6d36be4 --- /dev/null +++ b/tools/apply-filter @@ -0,0 +1,10 @@ +#!/bin/bash -eu +# Apply a filter command to a set of files + +filter=$1; shift +for arg +do + echo apply-filter "$filter" "$arg" + bash -c "$filter" < "$arg" > "$arg.tmp" + maybe-mv "$arg.tmp" "$arg" +done |