diff options
Diffstat (limited to 'sh')
-rwxr-xr-x | sh/.local/bin/lessfilter | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/sh/.local/bin/lessfilter b/sh/.local/bin/lessfilter new file mode 100755 index 0000000..661a638 --- /dev/null +++ b/sh/.local/bin/lessfilter @@ -0,0 +1,6 @@ +#!/bin/sh + +case "$1" in +*/rfc/txt/rfc*.txt) sed -e '1,+2d' -e '/\f/d' "$1" ;; +*) exit 1 ;; +esac |