Je n'ai pas besoin des pages de manuel et des documentations sur mon serveur Debian. Est-il possible de vider complètement ce dossier pour libérer de l'espace disque, en remplaçant tous les fichiers de ce dossier par des fichiers factices vides.
Ou existe-t-il un meilleur moyen de désinstaller toutes les pages de manuel et toutes les documentations?
Jusqu'à présent, j'ai installé localepurge
qui a déjà désinstallé tous les paramètres régionaux inutilisés et pourrait également désinstaller mes paramètres régionaux allemands, mais je voudrais conserver une localisation allemande.
Par «sûr», je veux dire pas totalement sûr, mais la même «sécurité» que celle que j'utilise localepurge
(qui n'a jamais causé de problème jusqu'à présent)
/usr/share/doc
ne devrait certainement pas casser un gestionnaire de paquets, mais (A) cela ne concerne pas les pages de manuel, et (B) si vous voulez l'effacer, supprimez les fichiers correctement, pas l'idée bizarre de les remplacer tous par des fichiers vides ( qui consommera toujours plus d'espace pour les inodes ... et aurait juste l'air incroyablement idiot).