Ajouter une police de caractères

Pour installer les polices pour tous les utilisateurs, il suffit de :

copier les fichiers correspondants (ttf ou autre) dans le répertoire /usr/share/fonts (il faut être super-utilisateur) ;
reconstruire les fichiers de cache d’information de polices : sudo fc-cache -f -v ;
éventuellement donner les droits suffisants de lecture et d’exécution sur les polices ainsi installées.