J'ai donc lu this et maintenant ma question est la suivante: quelle est la différence entre placer les polices dans ~/.local/share/fonts
et /usr/local/share/fonts
?
La réponse dans le lien ci-dessus indique que /usr/local/share/fonts
est utilisé " si vous avez besoin que les polices soient disponibles dans tout le système ". serait que ~/.local/share/fonts
ne rend pas la police disponible à l’échelle du système. Bien que je ne sois pas sûr et d'où la question.
Merci d'avance.
Dans la réponse originale liée à votre question, il n'était pas clair que .local/share/fonts
signifie en réalité ~/.local/share/fonts
. J'ai mis à jour la réponse.
~
est égal au dossier de départ de l'utilisateur.
Si vous installez quelque chose dans le dossier de départ de l'utilisateur, il ne sera pas disponible pour tout le monde mais uniquement pour l'utilisateur (=> pas à l'échelle du système). C'est un concept assez général.