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. :(
La police du terminal est boguée
Réponses:
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:
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
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
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.
Impressionnant! Merci de m'avoir aidé, mec. C'est très apprécié. :)
—
CrunchyNeo