::
Mah, usare Linux senza saperlo usare è dura: che cosa vuol dire
`echo 'export PATH=/opt/texbin;`
È un misto di sintassi Windows e Linux.
Riprenditi in mano la guida di Enrico e da esattamente i comandi come sono scritti su quella guida, cambiando solo l’anno 2010 in 2011
