On Tue, Feb 15, 2011 at 11:09 AM, Geoffrey Myers
<lists@serioustechnology.com> wrote:
> comments would be appreciated.
>
If all you're doing is filtering stdin to stdout and deleting a range
of characters, it seems that tr would be a faster tool:
cat foo.txt | tr -d '\000-\008\013-\037\177-\377' > foo-cleaned.txt