Originariamente inviato da Ikitt
gnome-terminal? Anche qui c'e` qualche problema (piu` o meno) noto, si sa che quel software ha bisogno di qualche ottimizzazione ma sinora non si e` mosso molto.
Ok, non lo sapevo.

Qualche post più in alto si parlava, per migliorare la velocità, di PRELINK, di che si tratta e come si può configurare (se si può configurare)?