Fabrizio Silvestri wrote:
>
> Nessuno sa se sia possibile eseguire la conversione di un file da formato eps
> a png usando gimp come filtro, cioe' specificando l'azione da eseguire da
> linea di comando.
>
> Un qualcosa del tipo
>
> dvips -f pippo.dvi > pippo.ps
>
Piu` che con gimp ( che ha funzionalita` molto complesse che a te
non sevono: non devi manipolare un immagine ma convertirne molte)
proverei a studiarmi le opzioni di ghostview che, appunto,
traduce file ps in altri formati grafici.
Altrimenti, farei un giretto su freshmeat e guarderei la
sezione console-graphics per vedere se c'e` qualcosa che fa
al caso tuo.
Qualcosa c'e` sicuramente, ma mi sfugge il nome :-(
buone feste, andrea
