On 16 juil. 2022 09:24, Christian Marillat <marillat@???> wrote:
> On 16 juil. 2022 09:08, Marc BERLIOUX <xmarc@???> wrote:
>
> [...]
>
>> Ou refabriquer kodi-data, avec juste les fontes qu'il faut, et si le
>> pinning ne suffit pas, lui donner un numéro de version tellement
>> supérieur qu'il ne sera jamais mis à jour ?
>
> Une refabrication et un pinning sont suffisant.
Il y a aussi la possibilité d'utiliser la configuration de fontconfig
pour déactiver des polices. Sans doute le plus simple.
Il y a toujours de la bonne documentation chez Arch Linux:
https://wiki.archlinux.org/title/font_configuration#Whitelisting_and_blacklisting_fonts
Christian