Salta al contenuto
Vai al contenuto
Chi siamo
Consiglio direttivo
Resta aggiornato
Diventa socio
Associarsi a GuIT
Versare la quota associativa
Effettuare donazioni
Guide
ArsTeXnica
GuIT meeting
Eventi
Forum
Registrati
Accedi
Gruppo Utilizzatori Italiani di TeX
Cerca
Cerca
Re: Command already defined
16 Aprile 2012 alle 11:07
#72242
Gaetano
Up
0
Down
::
`which tex`
cosa ottieni?
`$ which tex
/usr/bin/tex
`
Go to top
▲