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: Jack Lloyd
Subject: Re: time builtin handles backgrounding poorly
Date: Fri, 14 Sep 2007 14:03:44 -0400
User-agent: Mutt/1.5.11

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?

alias time="command time"

seems to work, just wondering if there is a better solution.

-Jack




reply via email to

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