Comment installer une police sous Linux / Debian ?
1/ Télécharger la police de caractères :
Il existe un certain nombre de sites qui proposent le téléchargement de polices de caractères sous forme de fichiers (.ttf la plupart du temps).
Par défaut, les téléchargements de fichiers se retrouvent dans le dossier… « Téléchargements ».
2/ Déplacer-la dans le répertoire des polices :
Il faut ensuite les déplacer vers le dossier partageant les polices, pour tous les utilisateur, et pour toutes les applications.
Il suffit de copier-coller cette ligne de commande dans la console :
sudo mv *.ttf /usr/share/fonts/mv *.ttf /usr/share/fonts/(si vous êtes déjà en administrateur)
3/ Vider le cache :
Enfin, vous devrez mettre à jour le cache des polices du système afin que les applications puissent reconnaître les nouvelles polices. L’exécution de la commande ci-dessous régénérera le cache des polices.
sudo fc-cache -f -vfc-cache -f -v (si vous êtes déjà en administrateur)
Et voilà ! Le tour est joué…
POUR PLUS D’INFORMATIONS
OU UNE DEMANDE SUR MESURE :
CONTACTEZ-NOUS…