Hallo,
zukünftige Ubuntuversionen (mitsamt der Anwendungen, die noch hinzu kommen) belegen vermutlich immer mehr Speicher, daher würde ich / einfach auf zukunftssichere 30 GB (ja, ich weiß, 20 GB reichen auch) erweitern.
Dann kannst du Texlive und andere mehrere GB große Pakete installieren. Macht doch keinen Spaß, da immer am Limit zu sein und wenn mal irgendeine Anwendung paar hundert MB Log schreibt, oder du eine Anwendung, die zusätzlich 2, 3 GB belegt, nachrüstest, oder ein neuer Kernel kommt, du mal zu Unity KDE/LXDE oder ähnliches installieren möchtest, knallt's wieder...
Für viele Anwender reichen 7 oder 10 GB (für leichtere Oberflächen), für dich halt nicht, für mich auch nicht, 22 GB in / belegt hatte ich mal.
Zur Texlive-Dokumentationssache:
Im von dir genannten Verzeichnis liegen viele Dokumentationen, die auch zu Paketen gehören.
Beispielsweise:
dpkg -S pgfplotsexample-context.pdf
texlive-pictures-doc: /usr/share/doc/texlive-doc/context/third/pgfplots/pgfplotsexample-context.pdf
Per
sudo apt-get remove texlive-pictures-doc
könntest du also diese Datei (und alle weitere Dokumentation aus dem Paket) entfernen und, nach Sichtung einzelner Dateien/Verzeichnisse, sonstige nicht so wichtige Pakete per dpkg -S ermitteln.
texlive-fonts-extra-doc texlive-fonts-recommended-doc texlive-humanities-doc texlive-latex-base-doc texlive-latex-extra-doc texlive-latex-recommended-doc texlive-metapost-doc texlive-pictures-doc texlive-pstricks-doc texlive-publishers-doc texlive-science-doc
sind mögliche Kandidaten, bitte jeweils prüfen, ob du die benötigst.
Hier wäre das Ergebnis: "Nach dieser Operation werden 903 MB Plattenplatz freigegeben.", der Weg, per Paketverwaltung/apt-get zu entfernen, ist der bevorzugte (eher der einzige richtige), gegenüber dem manuellen Löschen der Dateien/Verzeichnisse.
Zusatz:
Vielleicht liegen in deinem System auch viele Dateien im Paketcache, dann könnte:
sudo apt-get clean
zusätzlich noch:
sudo apt-get autoremove
bisschen Platz schaffen.
Und in Synaptic bei installierten Paketen schauen, welche du nicht mehr brauchst, Pakete, die mit -doc enden, sollten unkritisch sein.
Ich halte eine Vergrößerung von / für die sinnvollere Variante, vor allem, wenn du auch weiterhin mal neue Software installierst und zukünftig weitere Distributionsupdates geplant sind.
So, das war jetzt viel geschrieben, wenn der Platz nach dem Entfernen der Texlive-Dokumentation und paar weiteren Paketen für das Upgrade ausreicht, kannst du natürlich auch bei der aktuellen Partitionierung bleiben. ☺
Ich selbst verkleinere / sogar mit dem geplanten Wechsel auf 14.04, von 110 GB auf vermutlich 40 GB, weil ich eingesehen habe, dass viel zu groß doch keine Vorteile bringt. 😀