[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Odd bash behaviour with time:

From: Linda Walsh
Subject: Re: Odd bash behaviour with time:
Date: Sat, 01 Nov 2014 16:11:06 -0700
User-agent: Thunderbird

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)

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?

reply via email to

[Prev in Thread] Current Thread [Next in Thread]