Gentoo Archives: gentoo-user

From: "David Eduardo Gómez Noguera" <davidgn@×××××××××××××.mx>
To: gentoo-user@l.g.o
Subject: Re: [gentoo-user] GNU Time
Date: Tue, 20 Sep 2005 13:13:13
Message-Id: 1127221477.13161.2.camel@mokona
In Reply to: Re: [gentoo-user] GNU Time by Michael Crute
1 On Mon, 2005-09-19 at 23:10 -0400, Michael Crute wrote:
2 > On 9/19/05, Justin Hart <justinhart@×××××.com> wrote:
3 > The version of time included doesn't seem to include the -o
4 > switch,
5 > allowing the output to be put in a file.
6 >
7 > Is there a way to get this?
8 >
9 >
10 >
11 >
12 > Not sure how `time -o` worked but perhaps `time > filename`
13 >
14
15 It doesn't. Time duplicates its stdout file descriptor so as to not mix
16 the output from the program being timed with the time output. So >file
17 would actually store the output of the program being timed in file, not
18 the little timing chart.
19 There are ways to get around it, but they are weird.
20
21 I dont remember how was it though.
22
23 --
24 David Eduardo Gómez Noguera <davidgn@×××××××××××××.mx>
25
26 --
27 gentoo-user@g.o mailing list