Après la mise à jour vers 13.04, les polices cassées dans le terminal gnome:
C'est la police "Ubuntu Mono 13", mais les problèmes d'espacement sont les mêmes pour toutes les polices monospaces. Que puis-je faire?
Le même problème m'avait tourmenté depuis ma mise à jour vers 13.04 jusqu'à ce que je trouve enfin ce post:
Les polices sont corrompues, toutes se ressemblent
J'ai utilisé Syanptic pour déterminer la bibliothèque non identifiée. Ce qui suit a fonctionné pour moi.
$ Sudo apt-get purge libpango1.0-common pango-graphite
Après plusieurs heures de recherche
$ Sudo apt-get purge pango-graphite
a travaillé pour moi. Cela a été cassé sur une mise à niveau dist à 14.10, et depuis que je passe 90 +% de mon temps dans mate-terminal ou gnome-terminal, cela me rendait vraiment fou.
Merci!
Ceci est un problème dans l'une des bibliothèques Graphite. Voir bug # 1166125 .