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 que j'ai presque 1 Go de données sous /usr/share/doc
. Je n'ai pas besoin de cette documentation dans ce cas, mais uniquement des man
pages relatives à LaTeX , qui ne s'y trouvent pas.
Est-il possible de désinstaller tous ces fichiers de documentation en utilisant 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.