> From: Chet Ramey
>
> Thanks for the report. There are several places where `time' should be
> recognized as a reserved word where it currently is not. Please try the
> attached patch and verify that it does what you want.
Yes, the patched version of bash 4.3 works like I believe it should.
On 6/9/14, 8:51 PM, Dale R. Worley wrote:
> Configuration Information [Automatically generated, do not change]:
> Machine: x86_64
> OS: linux-gnu
> Compiler: gcc
> Compilation CFLAGS: -DPROGRAM='bash' -DCONF_HOSTTYPE='x86_64'
> -DCONF_OSTYPE='linux-gnu' -DCONF_MACHTYPE='x86_64-unknown-linux-gnu'
On Tue, Jun 10, 2014 at 8:39 AM, Dale R. Worley wrote:
>> From: Dan Douglas
>>
>> On Mon, Jun 9, 2014 at 7:51 PM, Dale R. Worley wrote:
>> > But if I add braces around the condition, 'time' is recognized:
>>
>> That's not too surprising. That "!" is unaffected is. "if ! ! time :;
>> then ..." is
wor...@alum.mit.edu (Dale R. Worley) writes:
> Part of the problem is that the manual page defines "simple command",
> "pipeline", "list", and "complex command", but it doesn't seem to
> define "command", and it is "command" which appears as a component in
> the definitions of "pipeline", "list",
> From: Dan Douglas
>
> On Mon, Jun 9, 2014 at 7:51 PM, Dale R. Worley wrote:
> > But if I add braces around the condition, 'time' is recognized:
>
> That's not too surprising. That "!" is unaffected is. "if ! ! time :;
> then ..." is an equivalent but working pipeline. "if time { :; };"
> shou
On Mon, Jun 9, 2014 at 7:51 PM, Dale R. Worley wrote:
> But if I add braces around the condition, 'time' is recognized:
That's not too surprising. That "!" is unaffected is. "if ! ! time :;
then ..." is an equivalent but working pipeline. "if time { :; };"
should also be valid but time isn't reco
Configuration Information [Automatically generated, do not change]:
Machine: x86_64
OS: linux-gnu
Compiler: gcc
Compilation CFLAGS: -DPROGRAM='bash' -DCONF_HOSTTYPE='x86_64'
-DCONF_OSTYPE='linux-gnu' -DCONF_MACHTYPE='x86_64-unknown-linux-gnu'
-DCONF_VENDOR='unknown' -DLOCALEDIR='/usr/local/share