Di più. Se togli l’estensione lua al file (visto che sotto Linux il sistema trova per altra via cosa lanciare), metti lo script nella cartella ~/home/bin e lo avrai disponibile da qualsiasi dir ti trovi.
Ancora, puoi specializzare lo script controllando per esempio se è necessario compilare con una sequenza particolare.Che cartella intendi?
/usr/bin?? Perché io non ho la ~/home/bin che citi tu.
Grazie ancora
Se nella tua home directory non esiste la cartella bin creala (immagino che tu stia lavorando su Ubuntu no?).
Questi piccoli script possono essere molto utili in casi complicati e frequenti di compilazione. Io li utilizzo spesso con un semplice doppio click ma il funzionamento va leggermente cambiato e questo è un segreto che svelerò solo in un prossimo articolo su ArSTeXnica!!!
(prossimo inteso ricorsivamente…)
Ciao