J'ai aussi fait quelques tests avec différents terminaux. Je ne m'attendais pas à de telles différences de performances, et c'est vrai que quand on met 20s sur un test là où d'autres terminaux mettent moins de 2s ça peut devenir vraiment problématique pour certains même pour une utilisation "normale" (une perte de temps d'une vingtaine de secondes toutes les 10000 lignes).
time for x in `seq 10000`; do echo {a,b,c,d,e}{A,B,C,D,E}; done
me donne avec Eterm :
real 0m1.661s
user 0m1.284s
sys 0m0.052s
avec rxvt :
real 0m1.382s
user 0m1.248s
sys 0m0.048s
avec gnome-terminal (réglages de police par défaut, donc truetype) :
real 0m5.330s
user 0m1.292s
sys 0m0.028s
C'est bizarre, les résultats sont irréguliers : j'ai eu entre 5 et 24s pour différents tests.
xterm :
real 0m20.240s
user 0m1.592s
sys 0m0.120s
Mes résultats ne sont vraiment pas terribles par rapport à d'autres tests avec ce terminal, je ne sais pas pourquoi (je n'ai pas de police truetype).
On sent bien dans certains terminaux des petits lags rien qu'à l'affichage d'un caractère. J'utilisais sans le savoir un des plus rapides donc finalement la vitesse a peut-être influé sur mon choix, Eterm est encore plus parfait que ce que je pensais. ;)
[^] # Re: Cela rassure
Posté par durandal . En réponse à la dépêche Rendre GNOME rapide. Évalué à 1.
time for x in `seq 10000`; do echo {a,b,c,d,e}{A,B,C,D,E}; done
me donne avec Eterm :
real 0m1.661s
user 0m1.284s
sys 0m0.052s
avec rxvt :
real 0m1.382s
user 0m1.248s
sys 0m0.048s
avec gnome-terminal (réglages de police par défaut, donc truetype) :
real 0m5.330s
user 0m1.292s
sys 0m0.028s
C'est bizarre, les résultats sont irréguliers : j'ai eu entre 5 et 24s pour différents tests.
xterm :
real 0m20.240s
user 0m1.592s
sys 0m0.120s
Mes résultats ne sont vraiment pas terribles par rapport à d'autres tests avec ce terminal, je ne sais pas pourquoi (je n'ai pas de police truetype).
On sent bien dans certains terminaux des petits lags rien qu'à l'affichage d'un caractère. J'utilisais sans le savoir un des plus rapides donc finalement la vitesse a peut-être influé sur mon choix, Eterm est encore plus parfait que ce que je pensais. ;)