bug-bash
[Top][All Lists]
Advanced

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

Re: Odd bash behaviour with time:


From: Chet Ramey
Subject: Re: Odd bash behaviour with time:
Date: Sat, 01 Nov 2014 20:38:13 -0400
User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:31.0) Gecko/20100101 Thunderbird/31.2.0

On 11/1/14 2:10 PM, Piotr Grzybowski wrote:
> Hi Chet, hi all.
> 
>  based on what you say, and some comments in parse.y ;-) isn't the
> below patch enough to get rid of the parser error for "time;echo;"
> case?

Yes, it's probably the right thing to do for maximum compatibility with
the external `time' command.  It conflicts a little bit with the `take
time out and see if the command makes sense' rule, but that's probably
OK.  Thanks for the patch.

Chet
-- 
``The lyf so short, the craft so long to lerne.'' - Chaucer
                 ``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU    address@hidden    http://cnswww.cns.cwru.edu/~chet/



reply via email to

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