Ich mag es, eine ziemlich kleine Ubuntu-Installation in einer Virtual Box-Maschine zu erstellen. Grundsätzlich sollten nur TeX Live und verwandte Tools bereitgestellt werden. Ich dachte jetzt, dass ich fast 1 GB Daten unter habe /usr/share/doc
. Ich brauche diese Dokumentation in diesem Fall nicht, sondern nur die LaTeX-bezogenen man
Seiten, die sich nicht dort befinden.
Gibt es eine Möglichkeit, alle diese Dokumentationsdateien mithilfe von zu deinstallieren apt-get
?
Oder ist es sinnvoll, nur den Inhalt von zu löschen /usr/share/doc
?
Ich teile die Virtual Box-Maschine gerne mit anderen, die keine Probleme haben sollten.