Al intentar establecer la fuente predeterminada en la terminal. Hay dos fuentes 'monospace' que me interesaron: 1. Ubuntu Mono 2. Monospace. Encontré Ubuntu Mono en / usr / share / fonts, pero no pude encontrar la otra fuente 'Monospace' en ninguna parte.
¿Dónde puedo encontrarlo? Me gustaría establecerlo como mi fuente predeterminada en otros sistemas Linux también.
David Seibert, busco la fuente 'Monospace' para exactamente el mismo propósito: parchearla para vim-powerline.
Petronilla tiene razón al afirmar que no hay una fuente explícita llamada 'Monospace', por lo que no está en la lista de fuentes devuelta por
Puede hurgar en /etc/fonts/fonts.conf o las diversas configuraciones en /etc/fonts/conf.d/, pero será muy difícil averiguar qué fuente está exactamente alias a 'Monospace'. Lo más fácil de hacer es
que en mi máquina Ubuntu 12.04 regresa
Entonces ahora el misterio está resuelto :)
fuente
DejaVuSansMono.ttf: "DejaVu Sans Mono" "Book"
No puedo recordar si esto vino con el paquete de fuente DejaVu Sans, o si se cambió a través de alguna herramienta. ¡Ojalá alguien pueda resolver este misterio por nosotros!