[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: Emanuele Torre
Subject: Re: `time ( someCmd )` Doesn't Print Time Under 5.2
Date: Tue, 22 Nov 2022 01:36:32 +0100

On Mon, Nov 21, 2022 at 07:07:08PM -0500, dabe@dabe.com wrote:
>       emanuele6 suspects it has to do with 
> https://lists.gnu.org/archive/html/bug-bash/2022-10/msg00107.html

No, actually later, I said that it has probably been introduced earlier
since I tried running 'time (sleep 1)' in a version of bash that
preceeds that change (namely 6711d2dc7793ed3d35e91b2bd4ecbdfccfcf469f
(2022-10-24)), and it still didn't print the timing report.

But I said it may have something to do with bash running some code that
should run in the main shell, in the subshell that runs the command,
since bash 5.2 prints timing information for `time (echo hi)' (builtin
command), but not for `time (/bin/echo hi)' (external command).
But I have not investigated what is the actual cause of the issue.


reply via email to

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