[Risolto] Conversione file grafici

[erotal]

Ciao,
vorrei convertire alcune centinaia di clipart dal formato wmf al formato png o jpg, qualcuno mi sa indicare un programmino che li converta tutti senza doverlo fare uno ad uno mantenendo magari lo stesso nome ?

[Braun]

credo si possa fare con il Image Magick, prova a dare un'occhiata al suo manuale!

Codice: Seleziona tutto

sudo apt-get install imagemagick

[Braun]

Una volta istallato imagemagick, entra nella cartella contenente i file.
Per esempio se vuoi entrare nella cartella /proof che hai sul desktop:

Codice: Seleziona tutto

cd /home/bruno/Scrivania/proof

poi digita

Codice: Seleziona tutto

mogrify -format png *.wmf

Così facendo dovrebbe però crearti una copia delle immagini.

A questo punto puoi entrare manualmente nella cartella, utilizzare ctrl-f per fare una ricerca delle immagini che contengono i caratteri "wmf" e eliminare le copie "vecchie" mantenendo così solo le png (o jpeg).

[erotal]

Ok ho risolto con il comando che mi hai dato seguito da rm *.wmf per cancellare all'interno della directory tutti i file che terminavano con tale estensione.
In questo caso la riga di comando è estremamente più veloce della grafica.
grazie

P.S. le clipArt erano circa 35.000

[Braun]

(good) ottimo!