::
Purtroppo anche facendo così non risolvo
`$ sudo -s tlmgr -gui
[sudo] password for antonio:
/bin/bash: tlmgr: comando non trovato`
In che senso è un problema di PATH? Intendi che magari ho sbagliato ad editare il file ~/.bashrc quando ho installato?
