La police du terminal est boguée

8

Après ma nouvelle installation d'Ubuntu 10.10, j'ai remarqué que la police du terminal est brisée et complètement affreuse.

Quelqu'un a-t-il une solution ou une solution? J'essaie d'en trouver un depuis quelques jours. :(

texte alternatif

10.10 command-line fonts CrunchyNeo
la source

Réponses:

14

Il semble que la nouvelle police Ubuntu soit définie comme police de terminal. Ce n'est pas recommandé, car la version monospace de la police Ubuntu n'a pas encore été créée.

Pour vous réinitialiser à la police de terminal par défaut, exécutez ce qui suit 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. Ici, changez la "police à largeur fixe" en taille "Monospace" 10. Cela ressemblera à ceci:

texte alternatif

8128
la source
Merci Monsieur! Cela a arrangé les choses. C'est dommage qu'ils n'aient pas encore créé de version Ubuntu pour cela. Y a-t-il un rapport de bogue déposé? Je devrais probablement aller en déposer un. : - /
CrunchyNeo
C'est un plaisir d'aider. Ne vous embêtez pas, c'est déjà un problème bien connu (attendez-le à temps pour la prochaine version d'Ubuntu!): Launchpad.net/ubuntu-font-family/+milestone/monospace
8128
1
Aww "Expected: 2010-12-15". Si je savais comment / quoi coder, je travaillerais dessus pour les aider. xD (je ne connais que certains java)
CrunchyNeo
6

Utilisez une police différente. La nouvelle police Ubuntu n'est pas une police monospace, elle a donc l'air vissée dans le terminal (qui attend la monospace). Je pense qu'Inconsolata est une excellente police monospace.

maco
la source
Impressionnant! Merci de m'avoir aidé, mec. C'est très apprécié. :)
CrunchyNeo