Est-il sûr de vider / usr / share / doc?

19

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é localepurgequi 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)

debian package-management disk-usage documentation rubo77
la source
Êtes-vous en train de construire un système embarqué? De nos jours, je ne peux imaginer aucun autre type de système où quelques centaines de mégaoctets feraient autant de différence et mériteraient la peine de casser le gestionnaire de paquets.
Celada
Je manque vraiment d'espace disque dans une machine virtuelle dans le cloud. Vous dites donc que cela briserait le gestionnaire de paquets ?
rubo77
Je commencerais par vérifier que vous n'avez pas de packages dont vous n'avez pas besoin et supprimez-les d'abord. Vous pouvez également rechercher des packages doc uniquement. La documentation fournie avec le logiciel n'utilise généralement pas beaucoup d'espace.
Faheem Mitha
2
La suppression /usr/share/docne 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).
underscore_d

Réponses:

14

Il devrait être bien de supprimer des fichiers dans /usr/share/doc sur des systèmes basés sur Debian.

La politique Debian spécifie explicitement dans la section 12.3:

Les packages ne doivent pas nécessiter l'existence de fichiers dans / usr / share / doc / pour fonctionner. [...]

L'administrateur système devrait être en mesure de supprimer des fichiers dans / usr / share / doc / sans provoquer la rupture de programmes.

Comme le gestionnaire de paquets est également un programme, il doit gérer correctement cette situation (fichiers manquants). Il pourrait être nécessaire après les mises à jour pour purger/usr/share/doc à nouveau manuellement.

Les réponses à cette question Ubuntu expliquent comment économiser de l'espace disque et configurer correctement le gestionnaire de paquets dans les systèmes basés sur Debian.

jofel
la source
2

Interférer avec le gestionnaire de paquets Debian en supprimant les fichiers sous son contrôle est toujours une chose dangereuse à faire. D'où l'inclusion de ce paragraphe dans la documentation de localepurge:

Veuillez noter que cet outil est un hack qui n'est pas intégré au système de gestion de paquets de Debian et n'est donc pas pour les âmes sensibles. Ce programme interfère avec la gestion des paquets Debian et provoque un comportement étrange, mais généralement inoffensif, des programmes liés à apt / dpkg comme dpkg-repack, reportbug, etc. tes mains.

Néanmoins, si vous avez vraiment besoin de l'espace disque, vous êtes bien sûr libre de le faire si cela fonctionne pour vous. On pourrait s'attendre à ce que les packages ne dépendent généralement pas de la présence de leur documentation pour fonctionner, mais il n'y a aucune garantie.

Ou existe-t-il un meilleur moyen de désinstaller toutes les pages de manuel.

La suppression /usr/share/docn'a rien à voir avec les pages de manuel. Ceux-ci se trouvent dans /usr/share/man.

Celada
la source
Donc, par définition, il n'y a que de la documentation dans ce dossier? alors il me semble que ce serait le même risque que d'utiliser localepurge qui ne m'a jamais posé de problème
rubo77
Bien sûr, j'ai mis à jour ma question, je ne connaissais pas la grande différence entre les pages de manuel et la documentation, mais maintenant j'ai clarifié que je n'ai pas besoin des deux
rubo77