[Top][All Lists]

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

Re: `time ( someCmd )` Doesn't Print Time Under 5.2

From: Chet Ramey
Subject: Re: `time ( someCmd )` Doesn't Print Time Under 5.2
Date: Tue, 22 Nov 2022 17:06:32 -0500
User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0) Gecko/20100101 Thunderbird/102.5.0

On 11/21/22 9:36 PM, Dabrien 'Dabe' Murphy wrote:

More crumbs, FTR:

  19:51 <emanuele6> this comment looks very suspicious https://git.savannah.gnu.org/cgit/bash.git/diff/execute_cmd.c?h=devel&id=9928dcb48f35d957d936f9c6d8bec8cec8b76317   19:52 <emanuele6> that patch addresses this bug https://lists.gnu.org/archive/html/bug-bash/2021-09/msg00047.html

No, all that stuff is a red herring.

``The lyf so short, the craft so long to lerne.'' - Chaucer
                 ``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU    chet@case.edu    http://tiswww.cwru.edu/~chet/

reply via email to

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