Date: Thu, 23 Jul 1998 01:50:01 -0700 (PDT) From: "Niall Smart" <nialls@euristix.ie> To: freebsd-bugs@FreeBSD.ORG Subject: Re: bin/7368: added options to /usr/bin/time Message-ID: <199807230850.BAA11477@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR bin/7368; it has been noted by GNATS. From: "Niall Smart" <nialls@euristix.ie> To: FreeBSD-gnats-submit@freebsd.org, kargl@troutmask.apl.washington.edu Cc: Subject: Re: bin/7368: added options to /usr/bin/time Date: Thu, 23 Jul 1998 10:46:15 +0100 > >Number: 7368 > >Synopsis: Added options to /usr/bin/time > 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. Your shell should handle I/O redirection. I do not think this patch should be integrated. These options violate The UNIX Philosophy. Niall To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-bugs" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199807230850.BAA11477>