J'aime créer une installation Ubuntu plutôt petite dans une machine Virtual Box. Elle devrait essentiellement fournir TeX Live et les outils connexes. Je me suis dit que maintenant que j'ai presque 1Go de données sous /usr/share/doc
. Je n'ai pas besoin de cette documentation dans ce cas, seulement de celle relative à LaTeX. man
qui ne s'y trouvent pas.
Existe-t-il un moyen de désinstaller tous ces fichiers de documentation en utilisant apt-get
?
Alternativement, est-il raisonnablement possible d'économiser en supprimant 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ème.