Por qué Gnome Terminal no muestra una fuente específica como disponible

Comandos que he probado:

sudo updatedb
sudo fc-cache -fv
sudo reboot

A pesar de esto, no pude hacer que la fuente Monofur se muestre como disponible para el Terminal Gnome en una máquina con Ubuntu 14.10 recientemente instalado. Está disponible en todas las demás aplicaciones.

Tengo otra máquina con 14.04 donde esto salió bien.

No estoy seguro de si esto está relacionado con un problema cuando instalé la fuente por primera vez y el administrador de fuentes se atascó al instalar que tuve que reiniciar. Luego, eliminé la fuente del sistema y la reinstalé sin problemas.

Está en ~/.local/share/fonts.

fc-listenumera esta fuente. Los permisos de archivo están bien.

ACTUALIZAR

Actualizado al último Ubuntu, el problema desapareció.

14.10 fonts gnome-terminal

— pepper_chico
fuente

Instalar esta fuente y seleccionarla como predeterminada en gnome-terminal me funcionó de inmediato, incluso sin ninguno de los comandos que menciona. También está en mi .local/share/fontscarpeta.

— Jos

@Jos Tal vez algo salió mal cuando lo instalé por primera vez y tuve que forzar el reinicio. Pero he tratado de eliminarlo de cualquier lugar posible antes de volver a instalarlo, todavía nada. No puedo seleccionarlo ya que no se muestra como una opción.

— pepper_chico

¿Se puede usar Monofur en otras aplicaciones, por ejemplo, LibreOffice o GEdit?

— David Foerster

@DavidFoerster sí.

— pepper_chico

@Fabby sí, y creo que no tiene ningún efecto que finalmente se muestre como una opción. Terminal Gnome simplemente no lo enumera por alguna razón desconocida.

— pepper_chico

Respuestas:

Después de haber instalado la fuente, tampoco se me mostró de inmediato. Estos son los pasos que tomé para que aparezca:

1) Mueva la fuente al directorio / usr / share / fonts / truetype` :

Cree un directorio /usr/share/fonts/truetype/Monofur/y mueva los archivos de fuentes (en mi caso, solo me mudé Monofur for Powerline.ttf) con el administrador de archivos o con el mvcomando. Tenga en cuenta que necesitará privilegios de sudo para todo eso

2) Eliminar todo en ~ / .gconf / apps / gnome-terminal /

Todas las preferencias de perfil se almacenan en el ~/.gconf/apps/gnome-terminal/directorio. Básicamente lo hicesudo rm -r ~/.gconf/apps/gnome-terminal/

3) Cierre y vuelva a abrir gnome-terminal

Autoexplicativo.

Sugerencias :

Para una buena medida, intente hacerlo updatedbdespués de eliminar todo o después de volver a abrir gnome-terminal; intente reiniciar si aún no funciona

— Sergiy Kolodyazhnyy
fuente

Lo siento, pero esto no funcionó, incluso después de reiniciar.

— pepper_chico

¿Cuáles son los permisos en los archivos por cierto?

— Sergiy Kolodyazhnyy

Todos -rw-r--r--(igual que para otras fuentes en otros directorios). Por cierto, necesito las 3 fuentes, así que las he copiado todas.

— pepper_chico

Extraño. No tengo otras ideas hasta ahora.

— Sergiy Kolodyazhnyy

Tuve un pensamiento: ¿qué tal intentar reinstalar gnome-terminal?

— Sergiy Kolodyazhnyy

Independientemente de lo que hice, no pude mostrar mis fuentes. Llegué a un punto en el que intenté cambiar las opciones aleatorias, y cuando apagué "Permitir texto en negrita" y volví a encender todas las fuentes que aparecían. No me preguntes por qué, pero funcionó para mí.

— Beer van der Drift
fuente

¡Gracias! Esto fue lo que finalmente funcionó para mí. ¡Aunque raro!

— ankush981

Lamentablemente, esta opción falta en Ubuntu 18.04. Me toggled usando dconf-editorpor esta respuesta , pero no pareció resolver el problema.

— Alexander Nied el