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'

Reply via email to