![](https://seccdn.libravatar.org/avatar/3908000813c096a4198a910e0262108d.jpg?s=120&d=mm&r=g)
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: opensuse+unsubscribe@opensuse.org For additional commands, e-mail: opensuse+help@opensuse.org