Estoy intentando instalar Roboto Mono como fuente en mi terminal bash en Linux Mint 19.1, y la opción de personalizar fuentes Edit -> Preferences -> Custom Fontno parece permitirme especificar una nueva fuente que no esté preinstalada.
¿Esto se debe a que el terminal no permite el uso de fuentes .ttf como fuente personalizada o existe una solución alternativa para esto?
¡Gracias!
Respuesta1
Probablemente no se trate de que una fuente esté preinstalada o no.
Terminal GNOME sólo le ofrece fuentes monoespaciadas para elegir en su cuadro de diálogo Preferencias. Sin embargo, puedes elegir cualquier fuente en formato dconf-editor. Navegue hasta /org/gnome/terminal/legacy/profiles:seguido del ID de perfil y luego configúrelo en font.
Parece requerir más investigación por qué no se supone que Roboto Mono sea una fuente monoespaciada.