The bug test suite in my modernish shell library exposed a bug in the
current bash development snapshot. As far as I've been able to trace,
the following bug was introduced by bash-snap-20170620 (commit
d7d836dfc55b937f463f601ba5117d6442053089).
I've been able to distil the following test case:
s
On Sat, Sep 9, 2017 at 5:16 AM, Martijn Dekker wrote:
> The 'time' reserved word seems to be unable to time subshells that run
> 'exec'. Is this intentional? (ksh93, mksh and zsh all do manage this.)
As far as I know, it is intentional. Read this thread which is about a
similar issue: https://lis
The 'time' reserved word seems to be unable to time subshells that run
'exec'. Is this intentional? (ksh93, mksh and zsh all do manage this.)
$ time (sleep 1)
real0m1,003s
user0m0,001s
sys 0m0,002s
$ time (exec sleep 1)
$ time (echo hi; exec sleep 1)
hi
$ echo "$BASH_VERSION"
4.4.12(3
