Gnome-terminal parce que c’est le seul avec lequel j’ai réussi à obtenir la police que je trouve quasi-parfaite (http://pix.louiz.org/o/ArQlL.png J’arrive pas à avoir un truc aussi petit sur les autres terminaux :-/), et parce que y’a ctrl+shift+u pour entrer des caractères unicodes à volonté, comme sur tous les autres trucs en GTK, donc c’est cohérent avec tous mes autres logiciels (qui se résument à thunderbird et firefox).
Du coup je vois aucune raison de changer.
# gnome-terminal
Posté par louiz’ (site web personnel) . En réponse au sondage Quel terminal utilisez-vous ?. Évalué à 2.
Gnome-terminal parce que c’est le seul avec lequel j’ai réussi à obtenir la police que je trouve quasi-parfaite (http://pix.louiz.org/o/ArQlL.png J’arrive pas à avoir un truc aussi petit sur les autres terminaux :-/), et parce que y’a ctrl+shift+u pour entrer des caractères unicodes à volonté, comme sur tous les autres trucs en GTK, donc c’est cohérent avec tous mes autres logiciels (qui se résument à thunderbird et firefox).
Du coup je vois aucune raison de changer.