[OT] regarding 'time' builtin

[Chris Jones]

On Fri, Jul 17, 2009 at 04:54:51PM EDT, Dave B wrote:
> On Friday 17 July 2009, Linda Walsh wrote:
> 
> > where does the output from the 'time' command "go"
> >
> > I.e. if I wanted to pipe the output to a prog or file, how would I
> > go about doing it?
> 
> Please see
> 
> http://mywiki.wooledge.org/BashFAQ/032

Sometimes I wonder if Greg is a "real" person.. not a smart program that
can generate the correct answers to all the questions you had about bash
utilization - and may have been too shy to ask.

:-)

CJ