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? -- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
