Mi piace creare un'installazione Ubuntu piuttosto piccola in una macchina Virtual Box. Fondamentalmente dovrebbe fornire solo TeX Live e strumenti correlati. Ho pensato ora di avere quasi 1 GB di dati sotto /usr/share/doc
. In questo caso non ho bisogno di questa documentazione, ma solo delle man
pagine relative a LaTeX , che non si trovano lì.
C'è un modo per disinstallare tutti questi file di documentazione usando apt-get
?
In alternativa, è ragionevole salvare semplicemente eliminare il contenuto di /usr/share/doc
?
Mi piace condividere la macchina Virtual Box con altri, che non dovrebbe avere problemi.