10 Agosto 2012 alle 13:23
#76847
::
egreg9″ post=76025
Che cosa risponde
`which pdflatex`
dato al terminale? Puoi anche dare l’output del seguente comando?
`echo $PATH`Ciao
Enrico
`nedu@nedu:~$ which tex
/usr/local/texlive/2012/bin/x86_64-linux/tex
nedu@nedu:~$ echo $PATH
/usr/local/texlive/2012/bin/x86_64-linux:/opt/texbin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
nedu@nedu:~$ `