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.