Gruppo Utilizzatori Italiani di TeX
si si ho riavviato il pc
il comando echo $PATH mi restituisce /opt/texbin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/opt/real/RealPlayer
