[quote]Scusate, ma credo si possa fare anche in un altro banalissimo modo:
cambio il nome della/e cartella/e contenente le immagini
lancio una compilazione (pdf)latex
leggo il file di log con le segnalazioni dei file mancanti
cancello la selezione inversa
riporto i nomi delle cartelle a quelli originali.Funziona?
funziona sicuramente.
ma quando hai 100 immagini magari vorresti un po’ automatizzare la procedura.
qua di sotto lo scriptino che copia solo le immagini che servono nella cartella NewFigures`#! /bin/bash
TEXFILENAME=main #no extension!
for file in $(awk '/^File: .* Graphic file .*/ { print $2 }' $TEXFILENAME.log); do
mkdir -p NewFigures/$(dirname $file)
cp $file NewFigures/$file
done`basta sistemare la variabile TEXFILENAME al nome del file .tex (e magari cambiare NewFigures se si vuole). Attenzione alle sovrascritture!
Certo, ma se non hai bash?
mentre facilmente si può installare perl o lua e scrivere in uno di questi linguaggi uno script che elabori il file di log di pdftex.
la bash è forte ma forse esiste uno scripting più evoluto.
bye[/quote]
E Lua ce l’hanno tutti quelli che hanno installato una distribuzione recente di TeX (almeno in una versione semplificata, senza molte librerie). 🙂 A proposito, perché invece che in Perl quello script (simpdftex) non lo si scrive in Lua? Così basta chiamarlo con “texlua simpdftex”; si può anche “compilare” con texluac. Non credo che servano librerie particolari: lettura della linea di comando, chiamate al sistema operativo e poco più.
Ciao
Enrico