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

48

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 man liées à LaTeX, qui ne s'y trouvent pas.

Existe-t-il un moyen de désinstaller tous ces fichiers de documentation avec 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.

    
posée Martin Scharrer 01.05.2012 - 21:43
la source

5 réponses

29

Selon le wiki Ubuntu , vous pouvez indiquer à dpkg de ne pas installer de documentation. Cela devrait empêcher toute installation de documentation (à l'exception des informations de copyright) par apt.

Create a file /etc/dpkg/dpkg.cfg.d/01_nodoc which specifies the desired filters. Example:

path-exclude /usr/share/doc/*
# we need to keep copyright files for legal reasons
path-include /usr/share/doc/*/copyright
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/*

Vous pouvez ensuite supprimer manuellement toute la 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/man/* /usr/share/groff/* /usr/share/info/*
rm -rf /usr/share/lintian/* /usr/share/linda/* /var/cache/man/*

L'exemple est destiné aux constructeurs OEM, mais il fonctionne tout aussi bien pour moi. Passage de mon répertoire /usr/share/doc/ de ~ 150 Mo à ~ 20 Mo.

    
réponse donnée Andrew Ensley 06.01.2014 - 20:35
la source
29

Ceci devrait supprimer la documentation des paquets liés au latex:

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

Cela économise quelques centaines de Mo.

    
réponse donnée mopagemo 10.08.2012 - 16:00
la source
11

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

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

Et en les retirant:

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
    
réponse donnée Denilson Sá Maia 30.04.2013 - 00:57
la source
3

Savez-vous ce qui occupe tout cet espace? Mon /usr/share/doc n’est que ~ 50Mo. Sinon, utilisez l'application Disk Analyzer ou accédez au terminal et exécutez cd /usr/share/doc ; puis exécutez du -h -d 1 pour découvrir ce qui utilise tout cet espace. Une fois que vous connaissez le programme ou le programme qui pose problème, vous pouvez alors décider si vous souhaitez ou non supprimer les répertoires de /usr/share/doc .

    
réponse donnée notkevin 02.05.2012 - 04:09
la source
0

is it reasonably sa[f]e to just delete the content of /usr/share/doc?

Si vous faites cela, les fichiers seront réinstallés quand un des paquets sera mis à jour. Vous devriez plutôt supprimer les packages de documentation pertinents, qui se terminent souvent (mais pas toujours) -doc .

    
réponse donnée Mechanical snail 19.08.2012 - 01:53
la source

Lire d'autres questions sur les étiquettes