> | When the shell is in posix mode, time may be followed by a newline. In > this case, the shell displays the > | total user and system time consumed by the shell and its children. The > TIMEFORMAT variable may be used > | to specify the format of the time information. > Two comments.
1) The shell is not in posix mode. 2) In non posix mode time with no arguments is not meaningful. Best I can tell it always returns 0, I still maintain it should return an error. # while :; do echo Hello; done Let it run and run and run # ^C # time real 0m0.000s user 0m0.000s sys 0m0.000s Maybe it should be more like this: # time Error, 'time' with no arguments is only meaningful in posix mode