On Mon, Sep 25, 2006 at 01:54:53PM -0500, Hugo Vanwoerkom wrote:
> Hi,
> 
> I am looking for a way to time scripts, how long they take to execute.
> 
> That has appeared in the list before, but now I can't find it.
> 
> I could write it myself, but I bet it exists already.
> 

Use /usr/bin/time, as the built-in time in bash is not very good.

Regards,

-Roberto

-- 
Roberto C. Sanchez
http://people.connexer.com/~roberto
http://www.connexer.com

Attachment: signature.asc
Description: Digital signature

Reply via email to