timing a process

jonfa · 09-17-2001, 03:11 PM

Hello all,

How can I time and record how long a certain process took? For example, I execute many jobs from a terminal and I am wondering exactly how long it took to do.

Thanks,

Jon

unSpawn · 09-17-2001, 08:15 PM

if you're starting em from scripts and you use bash, you could try using $SECONDS at the end of the script like: echo "$(basename $0) finished in $SECONDS"

rahul · 10-11-2001, 07:10 AM

man time

you can use time command followed by executable name.

regards

isajera · 10-11-2001, 04:33 PM

well... i don't know how to time a process from the shell, but it's pretty easy to do in a program. failing anything else, you could write a small program that would execute a program and time it.