Ho installato Hack Regular Nerd Font Complete scaricando il file .ttf qui. Ho aperto direttamente il file .ttf e ho fatto clic su "installa" e mi ha detto che il carattere era installato. Tuttavia, non riesco a trovarlo nel mio profilo del terminale e di conseguenza il mio powerlevel9k non funziona bene con quelle icone. Come posso risolvere il problema?
Uso Gnome-Terminal su Ubuntu 18.04 LTS.
Risposta accettata:
La finestra delle preferenze di GNOME Terminal (a partire dalla versione 3.28, fornita da Ubuntu 18.04) offre solo caratteri monospazio. Potrebbero essere necessarie ulteriori indagini sul motivo per cui si ritiene che il tuo carattere particolare non sia monospazio.
Puoi impostare qualsiasi tipo di carattere usando dconf (ad esempio in dconf-editor ), in /org/gnome/terminal/legacy/profiles:/:<profile-id>/font .