Matthias Clasen
matthias.clasen@gmail.com 2012
Jana Svarova
jana.svarova@gmail.com 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013
Petr Kovar
pknbe@volny.cz 2014
Ajouter des polices supplémentaires pour tous les utilisateurs.
Thibault Leclair
thibaultleclair@yahoo.com 2021
Mathieu Bousquet
mathieu.bousquet2@gmail.com 2022
Guillaume Bernard
associations@guillaume-bernard.fr 2023
Irénée Thirion
irenee.thirion@e.email 2023-2024

# 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

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

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