18 Febbraio 2011 alle 17:06
#56165
::
Eh, sì, uso Kile. In effetti sarei curioso di sapere come modificare le impostazioni di Kile
Puoi impostare quanti script di compilazione vuoi; ne crei uno duplicando pdflatex e, nella finestrella dove c’è la riga di comando aggiungi la parte iniziale che ti ho indicato. La sintassi è valida per la shell di default (/bin/sh) che dovrebbe essere quella usata per lanciare i processi.
Non che consigli di farlo, ma in casi particolari può essere un modo che risparmia lavoro.
Ciao
Enrico