bug-bash
[Top][All Lists]
Advanced

[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 2.0.0.6 (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.

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




reply via email to

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