Re: [tlug] timing for geeks

[Jim <jep200404@example.com>]

I wrote:

> then grep to make sure sed didn't prune all the lines. 

Of course I meant: 

then grep to make sure sed _did_ prune all the lines.

> I.e., the following should have no matching lines. 
> 
>    $ grep 113353 data.sed

That should be: 

   $ grep 11335 data.sed

to cast a wider net.