#1078107 bash: time (...; exec ...) doesn't output the time

Package:
bash
Source:
bash
Description:
GNU Bourne Again SHell
Submitter:
наб
Date:
2024-08-07 03:51:04 UTC
Severity:
normal
#1078107#5
Date:
2024-08-07 03:49:49 UTC
From:
To:
Dear Maintainer,

time (cd statedir; exec ../accrue > fonts.json) didn't output anything.

I gamed it down to just "time (exec echo)",
the subshell and echo obviously run, but the time prefix never does anything.

This is a regression from ksh, which correctly times the subshell.

Best,