web-dev-qa-db-fra.com

Supprimer la documentation pour économiser de l'espace sur le disque dur

J'aime créer une installation Ubuntu plutôt petite sur une machine Virtual Box. Fondamentalement, il devrait simplement fournir TeX Live et les outils associés. Je pensais maintenant avoir presque 1 Go de données sous /usr/share/doc. Je n'ai pas besoin de cette documentation dans ce cas, mais uniquement des pages manrelatives à LaTeX, qui ne s'y trouvent pas.

Existe-t-il un moyen de désinstaller tous ces fichiers de documentation à l'aide de apt-get?
Sinon, est-il raisonnable de sauvegarder simplement le contenu de /usr/share/doc?
J'aime partager la machine Virtual Box avec d'autres personnes, ce qui ne devrait pas poser de problèmes.

uninstalldocumentation
55
Martin Scharrer

Selon le wiki Ubunt , vous pouvez indiquer à dpkg de ne pas installer de documentation. Cela devrait empêcher toute documentation (à l'exception des informations de copyright) d'être installée par apt.

Créez un fichier /etc/dpkg/dpkg.cfg.d/01_nodoc qui spécifie les filtres souhaités. Exemple:

path-exclude /usr/share/doc/*
# we need to keep copyright files for legal reasons
path-include /usr/share/doc/*/copyright
# if you also want to remove the man pages uncomment the next line
#path-exclude /usr/share/man/*
path-exclude /usr/share/groff/*
path-exclude /usr/share/info/*
# lintian stuff is small, but really unnecessary
path-exclude /usr/share/lintian/*
path-exclude /usr/share/linda/*

Ensuite, vous pouvez supprimer manuellement toute documentation déjà installée:

find /usr/share/doc -depth -type f ! -name copyright|xargs rm || true
find /usr/share/doc -empty|xargs rmdir || true
rm -rf /usr/share/groff/* /usr/share/info/*
rm -rf /usr/share/lintian/* /usr/share/linda/* /var/cache/man/*

Si vous souhaitez également supprimer les pages de manuel, procédez comme suit:

rm -rf /usr/share/man/*

L'exemple est écrit pour les constructeurs, mais il a fonctionné aussi bien pour moi. Passé mon répertoire /usr/share/doc/ de ~ 150 Mo à ~ 20 Mo.

34
Andrew Ensley

Cela devrait supprimer la documentation pour les paquets liés au latex:

Sudo apt-get --purge remove tex.\*-doc$

Cela permet d'économiser quelques centaines de Mo.

32
mopagemo

Un moyen rapide et rapide de trouver les paquets texlive installés (je suis sûr à 100% qu'il existe d'autres moyens):

dpkg -l | grep '^ii.*texlive.*doc'

Et les enlever:

apt-get remove --purge \
  texlive-fonts-recommended-doc texlive-latex-base-doc texlive-latex-extra-doc \
  texlive-latex-recommended-doc texlive-pictures-doc texlive-pstricks-doc
14
Denilson Sá Maia

Savez-vous ce qui prend tout cet espace? Mon /usr/share/doc est seulement ~ 50Mo. Sinon, utilisez l'application Disk Analyzer ou accédez au terminal et exécutez cd /usr/share/doc; Ensuite, exécutez du -h -d 1 pour savoir ce qui utilise tout cet espace. Une fois que vous savez quel programme ou programme pose problème, vous pouvez décider si vous devez supprimer les répertoires de /usr/share/doc ou non.

3
notkevin

est-il raisonnable de supprimer simplement le contenu de /usr/share/doc?

Si vous faites cela, les fichiers seront réinstallés quand l'un des paquets sera mis à jour. Au lieu de cela, vous devriez supprimer les paquetages de documentation pertinents, qui souvent (mais pas toujours) finissez par -doc .

0
Mechanical snail