J'ai installé Hack Regular Nerd Font Complete en téléchargeant le fichier .ttf ici. J'ai ouvert le fichier .ttf directement et cliqué sur "installer", et il m'a dit que la police était installée. Cependant, je ne le trouve pas dans mon profil de terminal et, par conséquent, mon powerlevel9k ne fonctionne pas bien avec ces icônes. Comment puis-je résoudre le problème ?
J'utilise Gnome-Terminal sur Ubuntu 18.04 LTS.
Réponse acceptée :
La fenêtre Préférences du terminal GNOME (à partir de la version 3.28, livrée par Ubuntu 18.04) ne vous propose que des polices à espacement fixe. Il faudra peut-être rechercher plus avant pourquoi votre police particulière n'est pas considérée comme monospace.
Vous pouvez définir n'importe quelle police en utilisant dconf (par exemple dans dconf-editor ), sous /org/gnome/terminal/legacy/profiles:/:<profile-id>/font .