[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: 'time' doesn't time subshells that exec
|
From: |
Eduardo Bustamante |
|
Subject: |
Re: 'time' doesn't time subshells that exec |
|
Date: |
Sat, 9 Sep 2017 15:22:11 -0700 |
On Sat, Sep 9, 2017 at 5:16 AM, Martijn Dekker <martijn@inlv.org> 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://lists.gnu.org/archive/html/bug-bash/2016-10/msg00062.html