Après ma nouvelle installation d’Ubuntu 10.10, j’ai remarqué que la police du terminal était écrasée et tout à fait affreuse.
Quelqu'un at-il une solution ou une solution de contournement? J'essaie d'en trouver un depuis quelques jours. :(
Il semble que la nouvelle police Ubuntu soit définie en tant que police de terminal. Ceci n'est pas recommandé, car la version monospace de la police Ubuntu n'a pas encore été créée.
Pour revenir à la police de terminal par défaut, exécutez les opérations suivantes dans un terminal:
gconftool-2 --unset /desktop/gnome/interface/monospace_font_name
Vous pouvez également le faire graphiquement dans Système-> Préférences-> Apparence-> Polices. Changez ici la "Police à largeur fixe" en "Monospace", taille 10. Cela ressemblera à ceci:
Utilisez une police différente. La nouvelle police Ubuntu n’est pas une police monospace, elle a donc l’air foirée dans le terminal (qui attend un monospace). Je pense qu'Inconsolata est une excellente fonte monospace.