Récemment, je me suis amusé avec gnome-terminal pour le rendre plus attrayant. J'ai essayé d'utiliser les polices installées qui se trouvaient dans mon dossier ~/.fonts (installé avec Font Viewer), mais lorsque je modifie le profil gnome-terminal, la police installée n'apparaît pas.
La police que j'essaie d'utiliser est cure.se.ttf, ainsi que tous les autres programmes permettant de modifier les polices, ainsi que de l'installer globalement.
Est-ce que je les installe mal ou y a-t-il un endroit en certian dont ils ont besoin?
Ce qui a fonctionné pour moi est de mettre les fichiers de polices dans ~/.local/share/fonts
puis de les exécuter,
$ Sudo fc-cache -vf ~/.local/share/fonts
Les polices dans ~/.local/share/fonts
sont maintenant disponibles pour toutes les applications.
Avait le même problème. La définition des autorisations de polices a résolu mon problème. Par exemple:
chmod 755 ~/.fonts/cure.se.ttf
Ouvrez ensuite une nouvelle instance de terminal.