On Mon, Nov 21, 2022 at 07:07:08PM -0500, d...@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. emanuele6
