Magazine
Spécialité(s)
Résumé
La gestion des polices ou fontes de caractères est une problématique délicate avec presque tous les systèmes d'exploitation. Pour preuve, des systèmes bien plus populaires que GNU/Linux dans le monde du desktop sont, par défaut, si limités sur ce point, qu'il leur est nécessaire de faire appel à des logiciels tiers (comme ATM par exemple).
Sous GNU/Linux et X11, la gestion des polices, sans pour autant être aussi chaotique qu'avec d'autres OS, peut être envisagée de plusieurs manières. Nous avons d'une part le fichier de configuration /etc/fonts/fonts.conf définissant, entre autres choses, un certain nombre de chemins où rechercher les polices :
% cat /etc/fonts/fonts.conf | grep "<dir>"
<…
Cet article est réservé aux abonnés. Il vous reste 90% à découvrir.
S'abonner à Connect
- Accédez à tous les contenus de Connect en illimité
- Découvrez des listes de lecture et des contenus Premium
- Consultez les nouveaux articles en avant-première
Déjà abonné ? Connectez-vous