Ok,
seguo il tuo consiglio, Enrico.
Ma resta una domanda di fondo che non ho ben capito: se io faccio scrivo quelle 4 righe in LUA che mi hai postato, poi che faccio? Me le salvo in un file e poi? Come lo lancio??
Scusa, ma non ho capito nulla di questo passaggio.
Grazie ancora.
Samuele
Scusami, ma nella fretta di comporre il messaggio (senno Enrico mi avrebbe battuto), non ti ho detto come puoi lanciare uno script in Lua.
Modo classico
apri un terminale e digita il comando (makepdf.lua è il nome del file di testo contenente lo script):
`lua makepdf.lua`
naturalmente devi installare Lua e dare i permessi di esecuzione al file dello script.
Se metti lo sha-bang puoi eseguire lo script semplicemente con un doppio click, e consiste nell’informare il sistema quale sia l’interprete da usare dando dopo i caratteri #! il path dell’eseguibile, nella prima riga del file .lua.
Tipicamente sarà:
`#!/usr/bin/lua`
o qualcosa del genere se il path di lua è diverso e per trovarlo basta dare il comando ‘which lua’ (shows the full path of (shell) commands).
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.
In definitiva, apri il terminale e digita (pippo è il nome del sorgente, makepdf è lo script Lua posto nella directory ~/home/bin):
`makepdf pippo`
Specializzando lo script lo potrai rendere flessibile e più intelligente.
Bye
Ciao