Re: Odd bash behaviour with time:

[Ángel González]

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?
> 
> diff --git a/parse.y b/parse.y
> index 815db98..766f258 100644
> --- a/parse.y
> +++ b/parse.y
> @@ -1224,6 +1224,8 @@ pipeline_command: pipeline
>                           /* XXX - let's cheat and push a newline back */
>                           if ($2 == '\n')
>                             token_to_read = '\n';
> +                         if ($2 == ';')
> +                           token_to_read = ';';
>                         }
>         |       BANG list_terminator
>                         {
> 
> cheers,
> pg


There are more syntax errors equivalent to the "time;" case:
time &
time && bar
time | foo
time || true
...