web-dev-qa-db-fra.com

La police de terminal est boguée

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. :(

alt text

8
CrunchyNeo

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:

alt text

14
8128

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.

6
maco