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?
