Re: cvs commit: src/usr.bin/time time.1 time.c

[Jacques Vidrine <n@xxxxxxxxxx>]

I happen to like this clutter for commands such as ``time'', where
I want to have an easy way to independently redirect the output of
the ``real'' command that I'm interested in, versus the output of
``time''.

Doing 
  time -f buildworld.time make buildworld >& buildworld.log
is nicer to me than something such as 
  time csh -c "make buildworld >& buildworld.log" > buildworld.time

Though I probably would have called the flag ``-o'' instead of 
``-f'' ...

just 2 cents...

Jacques Vidrine <n@xxxxxxxxxx> 

On 24 July 1998 at 9:57, dag-erli@xxxxxxxxxx (Dag-Erling Coidan =?iso-8859-1?Q?Sm=F8rgrav?= ) wrote:
> Poul-Henning Kamp <phk@xxxxxxxxxxx> writes:
> >   Modified files:
> >     usr.bin/time         time.1 time.c 
> >   Log:
> >   By default, /usr/bin/time writes its output to stderr.  Two options
> >   have been added to time(1) to write output to an alternative destination.
> >   Option "-f filename" will write to filename, and filename can be - to
> >   write to stdout.  Option "-a filename" will append the output to filename
.
> >   Time(1) man page has been updated to reflect the change.
> 
> What? Didn't you read the audit trail? There's absolutely no reason to
> add these options; output redirection does all that and more. This is
> just clutter.
> 
> DES
> -- 
> Dag-Erling Smørgrav - dag-erli@xxxxxxxxxx
>

Attachment: pgpnbsJuYL7i7.pgp
Description: PGP signature