[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]

Re: gnome-terminal benchmark



On Thu, May 27, 2004 at 04:21:38PM -0400, Will Cohen wrote:
> # The actual benchmark being timed is below.
> /usr/bin/time /bin/cat `pwd`/jarg422.txt 2>> $RESULTS_FILE

You're profiling cat under gnome-terminal, not gnome-terminal + cat.

Wouldn't be better to run instead:
/usr/bin/time gnome-terminal -x cat $PWD/jarg422.txt

Regards,
Luciano Rocha



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]