credo che seguirò il tuo consiglio (anche se lo spazio che occupa è 1,9 GB… ero stato un po’ pessimista)
avendo installato con i link simbolici dovrò anche eliminare gran parte dei numerosi link simbolici che ho in /usr/local/bin
chissà se esiste un sistema intelligente per rimuoverli velocemente..un’ultima cosa: mi ricordi come impostare il PATH per texlive in /usr/bin? (ora è su /usr/local)
Credo che con tlmgr si possano eliminare i link simbolici: lancia
`sudo tlmgr -gui`
e dal menù “Actions” scegli “Handle symlinks in system dirs…”; nella finestra che si apre troverai il pulsante adatto.
Poi cancella pure tutto (o tienilo).
Non c’è bisogno di impostare nulla per gli eseguibii in /usr/bin. Una volta che hai eliminato i link da /usr/local/bin, il sistema troverà da solo quelli in /usr/bin.
Ciao
Enrico