J'ai installé une police TrueType en exécutant:
$ sudo gnome-font-viewer somefont.ttf
et en cliquant sur le bouton "installer".
Je voudrais maintenant désinstaller cette police (car elle semble mal formée et fait planter les programmes lorsqu'ils sont utilisés), mais je ne trouve pas où elle a été installée sur le système de fichiers.
Si j'exécute à nouveau la commande ci-dessus, il y a un bouton "install ed " non cliquable où se trouvait le bouton "install", mais aucune option pour désinstaller .
Avec du recul, j'aurais dû le mettre dans ~ / .fonts mais hélas je ne l'ai pas fait.
J'ai essayé d'utiliser le gestionnaire de polices, qui semble avoir un bouton "supprimer", mais la police que j'ai installée n'y apparaît pas. Il apparaît cependant dans Gimp et Inkscape, où il pose problème.