Gruppo Utilizzatori Italiani di TeX
Nel cosiddetto terminale devi lanciare il file batch semplicemente scrivendoci il nome con i tasti della tastiera e poi premendo invio; da quello che dici sembrerebbe che tu non faccia questa operazione.
