Name: Anonymous 2009-09-05 15:22
How do you do it?
I was thinking of just using time, but I'd have to do everything manually, unless there's some way to get the results of time from a bash script.
I was thinking of just using time, but I'd have to do everything manually, unless there's some way to get the results of time from a bash script.