On Friday 18 May 2007 13:41, ken wrote:
> Use what you want to time as the argument to the "time" command, e.g.,
>
> $ time date
> Fri May 18 14:39:18 EDT 2007
Ken, you're missing his point.
... he knows how to time... what he wants is to use the -o switch to
send the
time to an output file... this will not work with the shell version of
time... he must use:
/usr/bin/time -o outputfile date
This will time the date command and send the timing results to
outputfile.
--
Kind regards,
M Harris <><
--
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
