Dear Sven, > I wonder if this is a good benchmark at all. > For the first test, repeated tests give me results between 0.2 and 6 > seconds in gnome-terminal ... The second test is usually between 0.2 > and 0.3 seconds in gnome-terminal ...
You also see a marked increase in time for flushed output. (Comparison with xterm is valid, but maybe not needed here: compare with other terminals e.g. rxvt or rxvt-unicode also.) > ... performance in gnome-terminal was greatly increased in 2.14 ... With Debian sid I now have that version, but I did not see a great improvement. > A bigger issue, I think, is what fonts you are using, this can make a > huge difference, as can be seen in these notes on gnome-terminal > optimisation. > http://mces.blogspot.com/2005/10/gnome-terminal-performance.html Unlikely this would be a font issue, as both flushed and un-flushed output uses the same fonts. Please instruct what fonts should I try (and how to change to them), and I will try. Cheers, Paul Szabo [EMAIL PROTECTED] http://www.maths.usyd.edu.au/u/psz/ School of Mathematics and Statistics University of Sydney Australia -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
