Lorsque vous essayez de définir la police par défaut dans le terminal. Il y a deux polices de 'Monospace' qui m'a intéressé: 1. Ubuntu Mono 2. Monospace. J'ai trouvé Ubuntu Mono dans / usr / share / fonts, mais je ne pouvais pas trouver l'autre police partout « Monospace ».
Où puis-je le trouver? Je voudrais également le définir comme ma police par défaut dans d'autres systèmes Linux.
David Seibert, je cherche la police 'Monospace' exactement dans le même but: la patcher pour vim-powerline.
Petronilla a raison de dire qu'il n'y a pas de police explicite appelée «Monospace», c'est pourquoi elle ne figure pas dans la liste des polices renvoyées par
Vous pouvez fouiller dans /etc/fonts/fonts.conf ou les diverses configurations dans /etc/fonts/conf.d/ mais il sera très difficile de déterminer quelle police est exactement aliasée à 'Monospace'. La chose la plus simple à faire est
qui sur ma machine Ubuntu 12.04 retourne
Alors maintenant, le mystère est résolu :)
la source
DejaVuSansMono.ttf: "DejaVu Sans Mono" "Book"
je ne me souviens pas si cela est venu avec le paquet de polices DejaVu Sans, ou s'il a été changé via un outil. J'espère que quelqu'un pourra résoudre ce mystère pour nous!