Ajouter une police supplémentaire pour tous les utilisateurs

Vous pouvez installer une police supplémentaire pour tous les utilisateurs. Celle-ci sera disponible dans les applications utilisant fontconfig comme gestionnaire de polices.

Installer une police supplémentaire

  1. Copiez la police dans le répertoire /usr/local/share/fonts/ pour l’installer.

  2. Exécutez, si besoin, la commande suivante pour actualiser le cache des polices :

    $ fc-cache /usr/local/share/fonts/

Il peut être également nécessaire de redémarrer les applications en cours d’exécution afin que les modifications soient prises en compte. Les sessions utilisateur n’ont pas besoin d’être redémarrées.

Alternativement, les polices peuvent être installées dans un autre répertoire système que /usr/local/share/fonts/, tant que celui-ci est défini dans /etc/fonts/fonts.conf. Sinon, vous devrez créer votre propre fichier de configuration à l’échelle du système (/etc/fonts/local.conf) et déclarant le répertoire à utiliser. Consultez la page du manuel fonts-conf(5) pour plus d’informations.

Si vous utilisez un répertoire alternatif, n’oubliez pas de spécifier le nom du répertoire lors de l’actualisation du cache des polices avec la commande fc-cache :

$ fc-cache nom_du_répertoire