Coeur Noir a écritRoschan a écritRéponse bête : non car encore une fois, les polices par défaut sont dans /usr/share/fonts/ aussi
Moui mais par défaut
- y a un tas de polices installées dont on n'a pas besoin si on n'utilise « que » l'alphabet,
Même si les dépendances par défaut peuvent être discutable, les plus grosses police en terme de poids ne sont pas des dépendances
Je viens de tester sur une live 17.04 de pour être sur,
si tu définis tes préférences de apt pour ne garder que les dépendances et que tu marques en automatique tout les fonts, tu peux enlever 190 Mo de fonts (sur 200 et quelques)
Mais bon c'est pas le sujet ...
Coeur Noir a écrit- si des fonts sont en dépendance d'autres paquets, le sudo apt install -f n'est-il pas censé les re-pécher ?
si tu supprimes un fichier avec rm, apt va rien faire du tout, il va même pas le remarqué ! Donc non il censé rien faire du tout.
Il faudra faire une réinstallation avec l'option "--reinstall" de apt pour avoir de nouveau les fichiers.