bash command timer

[Hugo Vanwoerkom <hvw59601@care2.com>]

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.

Thanks

H