On Friday 18 May 2007 12:16, Herbert Georg wrote:
> 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
Try this:
which time
You will probably notice that it just returns to the prompt... and does
not
tell you which time... because it is finding the one built into the shell.
which /usr/bin/time
Now you will notice that it finds the system time command--- and the
two are
different.
compare:
#>time
#>/usr/bin/time
The outputs will be different. Use the /usr/bin/time and you'll get
what you
want.
--
Kind regards,
M Harris <><
--
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
