Herbert Georg wrote: > [...] > 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?
You're using the shell builtin time command which does not support the options. Try /usr/bin/time and it will work. Cheers, Th. -- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]