Re: Odd bash behaviour with time:

[jon]

> | 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