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.

PR:		7368
Submitted by:	Steven G. Kargl <kargl@troutmask.apl.washington.edu>

1 files changed, 24 insertions, 0 deletions

diff --git a/usr.bin/time/time.1 b/usr.bin/time/time.1
index 3033096..b095281 100644
--- a/usr.bin/time/time.1
+++ b/usr.bin/time/time.1
@@ -39,6 +39,8 @@
 .Nd time command execution
 .Sh SYNOPSIS
 .Nm
+.Op Fl a Ar file
+.Op Fl f Ar file
 .Op Fl l
 .Ar command
 .Sh DESCRIPTION
@@ -66,6 +68,28 @@ process.
 .Pp
 Available options:
 .Bl -tag -width Ds
+.It Fl a Ar file
+Append the output of
+.Nm
+to 
+.Ar file
+instead of writing to stderr.
+.It Fl f Ar file
+Write the output to 
+.Ar file
+instead of stderr.  If
+.Ar file
+exists, then 
+.Nm
+will overwrite the file if premissions permit such an operation.
+The output can be sent to stdout by giving
+a file name
+.Do
+-
+.Dc
+to the 
+.Fl f
+option.
 .It Fl l
 The contents of the
 .Em rusage