Re: time command

[Sam Steingold]

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 >time.txt 2>&1
>
> Or use Bash's builtin "command" command, like this:
>
>         command time ls >time.txt 2>&1

shameless plug:
<http://article.gmane.org/gmane.comp.shells.bash.bugs/10874>

Subject: rfe: auto-timing

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.
keeping the timing of every command costs essentially nothing, so this
may even simplify the code.
an extension of the idea is to keep this timing information in the
history so that one could look up timings for previous commands.