Police Nerd introuvable dans le profil du terminal
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 mon powerlevel9k ne fonctionne donc pas bien avec ces icônes. Comment puis-je résoudre le problème?
J'utilise Gnome-Terminal sur Ubuntu 18.04 LTS.
La fenêtre Préférences du terminal GNOME (à partir de la version 3.28, fournie par Ubuntu 18.04) ne propose que des polices monospaces. Vous aurez peut-être besoin de plus amples recherches pour savoir pourquoi votre police particulière n'est pas monospace.
Vous pouvez définir n’importe quelle police à l’aide de dconf (par exemple, dans dconf-editor), sous /org/gnome/terminal/legacy/profiles:/:<profile-id>/font.