::
Quando la guida ti dice:
Ci sono due modi per mettersi in condizione di usare tlmgr, consiglio di usare en-
trambi. Il primo farà partire tlmgr dal terminale. Si dia il comando
$ gedit ~/.bashrc
hai inserito correttamente il codice bash in fondo al file, salvando il tutto?
