::
ah…mi sono dimenticato di dire che, me ne sono accoto perchè digitando i comandi
tlmgr xxx, ottenevo ‘nome comando sconosciuto’.
allora sono andato a cercare dove fosse il file per metterlo nella variabile $PATH, e mi è venuto fuori quello che dicevo prima
enato 🙄
