[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

'time' doesn't time subshells that exec

From: Martijn Dekker
Subject: 'time' doesn't time subshells that exec
Date: Sat, 9 Sep 2017 14:16:25 +0200
User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:52.0) Gecko/20100101 Thunderbird/52.1.1

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)

real    0m1,003s
user    0m0,001s
sys     0m0,002s
$ time (exec sleep 1)
$ time (echo hi; exec sleep 1)
$ echo "$BASH_VERSION"

- Martijn

reply via email to

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