Date: Fri, 24 Jul 1998 06:39:24 -0500 From: Jacques Vidrine <n@nectar.com> To: dag-erli@ifi.uio.no (Dag-Erling Coidan =?iso-8859-1?Q?Sm=F8rgrav?= ) Cc: Poul-Henning Kamp <phk@FreeBSD.ORG>, cvs-committers@FreeBSD.ORG, cvs-all@FreeBSD.ORG, cvs-usrbin@FreeBSD.ORG Subject: Re: cvs commit: src/usr.bin/time time.1 time.c Message-ID: <199807241139.GAA13429@bone.nectar.com> In-Reply-To: <xzpk953vfzd.fsf@hrotti.ifi.uio.no> References: <199807240719.AAA11603@freefall.freebsd.org> <xzpk953vfzd.fsf@hrotti.ifi.uio.no>
next in thread | previous in thread | raw e-mail | index | archive | help
[-- Attachment #1 --] [-- Attachment #2 --] 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@nectar.com> On 24 July 1998 at 9:57, dag-erli@ifi.uio.no (Dag-Erling Coidan =?iso-8859-1?Q?Sm=F8rgrav?= ) wrote: > Poul-Henning Kamp <phk@FreeBSD.ORG> 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@ifi.uio.no > [-- Attachment #3 --] -----BEGIN PGP SIGNATURE----- Version: 2.6.2 iQCVAwUBNbhyajeRhT8JRySpAQGGNwQApUXSmTLa2zEv+5EethxfneI5oEQL2F/s kbbAFHu/Mxj1lpJWGA4WIqJGF8e5eirk5xRGepV4VJG57RFFnZDrD1WnuZWwsoWF acIgbfvZBpT2Uh8yUXcwe5NUu5+aVUZsec0pG3C43/pQKVH/KkeGMe5IC9hC/F10 WOF92D85OxM= =nNRo -----END PGP SIGNATURE-----
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199807241139.GAA13429>