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
Francis Litterio wrote:
Eric Blake wrote:
According to Yu Cha Yung on 6/23/2008 12:24 AM:
|time ls > time.txt
|It doesnt show the information of time in time.txt.
That's because in bash, time is a reserved word, and because time's output
goes to stderr, not stdout.
[...]
\time ls >
> And this is how. Quoting any part of the rhs forces it to be matched
> as a string.
Okay, that's very clear. Maybe the man page could be updated?
> Patch 39, which you appear to have applied, introduces a `compat31' shell
> option which you may enable to restore the bash-3.1 behavior.
Ah! And
