On Fri, 1 Sep 2023 12:52:14 -0400 Dima Korobskiy <dkro...@gmail.com> wrote:
> Kerin, > > thanks for the workaround. > > Just to clarify, is the issue specific to the `time` command? I think that you would have to get an answer from Chet because yacc/bison grammar is a little over my head. To that end, I have taken the liberty of copying the bug-bash list back into this discussion. That being said, it appears so. After reading your report, I tried to break the parser in other, similar, ways but was not able to do so. I suppose that the time keyword is special in so far as it expects to be given a pipeline. -- Kerin Millar
