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

[Chet Ramey]

On 11/22/22 5:04 PM, Dabrien 'Dabe' Murphy wrote:
> On 11/22/22 5:01 PM, Chet Ramey <chet.ramey@case.edu> wrote:
> > Thanks for the report. It's an easy fix; bash was optimizing away the fork
> > and therefore not printing the timing information.
>
> Awesome!
>
>      Hitting it with a hammer: $10
>       Knowing WHERE to hit it: $9,990

Well, it's not a big hammer. It was a one-line change. :-)

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