[Top][All Lists]

[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 <address@hidden> 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

reply via email to

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