Re: 'time' doesn't time subshells that exec

2017-09-09 Thread Eduardo Bustamante
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

'time' doesn't time subshells that exec

2017-09-09 Thread Martijn Dekker
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