Installer de nouvelles polices

Publié le par

Cette méthode permet à tous les utilisateurs de les utiliser.

  1. Copier les fichiers correspondants dans le répertoire /usr/share/fonts (il faut être super-utilisateur).
  2. Reconstruire les fichiers de cache d’information de polices :
sudo fc-cache -f -v

Astuce

Pour ne pas avoir à taper le chemin vers le fichier ou un dossier dans un terminal,

  • ouvrir un terminal et taper la commande suivi d’un espace (par exemple sudo cp ) ;
  • ouvrir une fenêtre Nautilus (ou autre gestionnaire de fichiers) ;
  • « drag and drop » le fichier dans le terminal : le chemin complet vers le fichier est copié ;
  • « drag and drop » le dossier de destination : le chemin complet vers le dossier est copié.

Source : https://doc.ubuntu-fr.org/installer_de_nouvelles_polices_de_caractere#pour_tous_les_utilisateurs