[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/