Re: Odd bash behaviour with time:

[Linda Walsh]

Piotr Grzybowski wrote:
> > This is not meaningful:
> > # time ;echo hello
> > bash: syntax error near unexpected token `echo'


Ahh...and this IS meaningful: (?)

# time ; ; echo hello
0.00sec 0.00usr 0.00sys (0.00% cpu)
hello

How about this?
# time ; ; sleep 1

or this?

# time ; ; time sleep 1
0.00sec 0.00usr 0.00sys (0.00% cpu)
1.00sec 0.00usr 0.00sys (0.29% cpu)

Dunno, but seems like:

  "time ; echo hello"

throwing a syntax error, is a minor parsing bug.
But there are probably more important things in life?