From owner-freebsd-bugs Thu Jul 23 01:50:29 1998 Return-Path: Received: (from majordom@localhost) by hub.freebsd.org (8.8.8/8.8.8) id BAA09828 for freebsd-bugs-outgoing; Thu, 23 Jul 1998 01:50:29 -0700 (PDT) (envelope-from owner-freebsd-bugs@FreeBSD.ORG) Received: from freefall.freebsd.org (freefall.FreeBSD.ORG [204.216.27.21]) by hub.freebsd.org (8.8.8/8.8.8) with ESMTP id BAA09822 for ; Thu, 23 Jul 1998 01:50:26 -0700 (PDT) (envelope-from gnats@FreeBSD.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.8.8/8.8.5) id BAA11477; Thu, 23 Jul 1998 01:50:01 -0700 (PDT) Date: Thu, 23 Jul 1998 01:50:01 -0700 (PDT) Message-Id: <199807230850.BAA11477@freefall.freebsd.org> To: freebsd-bugs@FreeBSD.ORG From: "Niall Smart" Subject: Re: bin/7368: added options to /usr/bin/time Reply-To: "Niall Smart" Sender: owner-freebsd-bugs@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org The following reply was made to PR bin/7368; it has been noted by GNATS. From: "Niall Smart" 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