On Wed, Dec 20, 2006 at 12:02:13AM +0000, José Matos wrote: > On Tuesday 19 December 2006 6:53 pm, Charles de Miramon wrote: > > You can also use a sed script like this one : > > Just to add to the fun, here it is my solution using python, it reads from > the standard input and it writes to the standard output.
Just for the record: Can you run both of them through 'time'? Andre'