Salut, RHATAY Sami a tapoté, le 20/11/2013 20:40: > Donc c'est décidé, je change de terminal! (avant de décider de changer > Gnome....) Qu'utilisez-vous en alternative ? xfce4-terminal fonctionne bien. Il y a aussi lxterminal. Mais, je ne suis pas sur Gnome3 ; j'utilise XFCE 4.8 et 4.10. -- Stéphane <http://pasdenom.info/fortune/?> BOFH excuse #29: It works the way the Wang did, what's the problem