[Top][All Lists]

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

Re: time command

From: Sam Steingold
Subject: Re: time command
Date: Mon, 30 Jun 2008 13:37:43 -0400
User-agent: Thunderbird (X11/20080506)

Chuck Swiger wrote:
On Jun 24, 2008, at 7:47 AM, Sam Steingold wrote:
I would like all long-running commands to be auto-timed.
i.e., all commands I type at the prompt should be run as if with "time"
built-in, but if the real or user time is smaller than some value
(specified by the user in an environment variable), the timing output
should be omitted.

In ZSH, that's obtainable via the REPORTTIME env variable:

           If nonnegative, commands whose combined user and  system  execu-
           tion  times  (measured  in  seconds) are greater than this value
           have timing statistics printed for them.

yes, this is what I want in bash.
also, the timings should be saved in the history files.

reply via email to

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