Re: Vari IDE e Linux: non voglio i pacchetti texlive di Ubuntu

Non conoscevo questa direttiva per apt-get.
Grazie mille, problema risolto!