Re: Fontes Noto

Le 16/07/2022 à 07:48, Frédéric a écrit :
> Le samedi 16 juillet 2022, Christian a écrit :
>
>> Je n'ai pas essayé, mais je pense qu'à la prochaine installation d'un
>> paquet, apt-get va vouloir corriger les dependences même si le paquet et
>> bloqué avec du pinning.
>
> Ok. Bon, je vais voir aussi si on ne peut pas recompiler Kodi en
> désactivant ces fontes...

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 ?

--
Marc BERLIOUX
Mieux vaut avoir l'air sans l'effet que l'effet sans l'air