Instalé Hack Regular Nerd Font Complete descargando el archivo .ttf aquí. Abrí el archivo .ttf directamente e hice clic en "instalar", y me dijo que la fuente estaba instalada. Sin embargo, no puedo encontrarlo en el perfil de mi terminal y, en consecuencia, mi powerlevel9k no funciona bien con esos íconos. ¿Cómo puedo solucionar el problema?
Uso Gnome-Terminal en Ubuntu 18.04 LTS.
Respuesta aceptada:
La ventana de Preferencias de GNOME Terminal (a partir de la versión 3.28, enviada por Ubuntu 18.04) solo le ofrece fuentes monoespaciadas. Es posible que necesite más investigación por qué no se cree que su fuente en particular sea monoespaciada.
Puede configurar cualquier fuente usando dconf (por ejemplo, en dconf-editor ), en /org/gnome/terminal/legacy/profiles:/:<profile-id>/font .