[Top][All Lists]

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

Re: time builtin handles backgrounding poorly

From: Chet Ramey
Subject: Re: time builtin handles backgrounding poorly
Date: Fri, 14 Sep 2007 16:16:49 -0400
User-agent: Thunderbird (Macintosh/20070728)

Jack Lloyd wrote:
> On Thu, Sep 13, 2007 at 10:21:26PM -0400, Chet Ramey wrote:
>> `time' is not a builtin; it is a shell reserved word that causes timing
>> information to be printed when `waitpid' returns.  It's a synchronous
>> operation that doesn't interact as you'd like with job control.
> Ah, I see. Is there any recommended way to disable time entirely?

Reconfigure bash with `--disable-command-timing' and rebuild.

``The lyf so short, the craft so long to lerne.'' - Chaucer
                       Live Strong.  No day but today.
Chet Ramey, ITS, CWRU    address@hidden    http://cnswww.cns.cwru.edu/~chet/

reply via email to

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