On 05/18/2007 01:16 PM somebody named Herbert Georg wrote: > Hi all, > > I'm trying to use the command "time" to access information about a job, > but without success. > The man page tells me that I can use options to time, like: > > time -o output-file command command-args > time -v command command-args > time --help > > but nothing of this works. All I get is (in the last example): > > bash: --help: command not found > > real 0m0.001s > user 0m0.000s > sys 0m0.000s > > I get the same thing in all option cases. > > Why doesn't it accept any option, and keep interpreting the options as > the commands?
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 real 0m0.002s user 0m0.000s sys 0m0.002s shows how long the "date" command took to execute. You can also add arguments to the "date" (or whatever) command used. -- "This world ain't big enough for the both of us," said the big noema to the little noema. -- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
