Come convertire i file GIF in PNG o JPEG in OS X con riga di comando?

Ho 10k + file GIF che devo convertire in PNG o JPEG preferibilmente usando la riga di comando in modo da poterlo automatizzare. Non sono preoccupato di perdere qualità o trasparenza, devo solo preparare i file per il software OCR.

Quando convertformatprovo ad usare , ottengo questo:

Error in pixReadStreamGif: function not present
Error in pixReadStream: gif: no pix returned
Error in pixRead: pix not read
Error in pixGetDepth: pix not defined
Error in pixWrite: pix not defined

Qualche idea?

Non sono necessari strumenti aggiuntivi. OS X ha sips, che può convertire le immagini in (quasi) qualsiasi formato.

Ad esempio, per convertire tutti .gifin .jpeg, inserendoli in una cartella chiamata jpegs:

mkdir jpegs
sips -s format jpeg ./*.gif --out jpegs

Oppure, per convertirli ricorsivamente usando find, che posizionerà un file JPEG con lo stesso nome della GIF accanto ad esso.

find . -iname "*.gif" -type f -exec sh -c 'sips -s format jpeg "$0" --out "${0%.gif}.jpeg"' {} \;

Vedo una domanda piuttosto vecchia, ma sfortunatamente la soluzione due dello slhck non funziona per me (OS X Mountain Lion, bash) ricevo un errore.

Questo funziona per me (dopo il cd my_dir_with_gifcomando ovviamente):

for i in *.gif; do sips -s format jpeg "${i}" --out "${i%gif}jpg"; done

E se vuoi impostare anche la compressione jpg ( [low|normal|high|best|<percent>])

for i in *.gif; do sips -s format jpeg -s formatOptions 100 "${i}" --out "${i%jpg}png"; done

Per altri formati dovresti cambiare le estensioni (ricordando che il formato jpg sips è sempre jpeg, l'estensione potrebbe essere .jpg)

Questo utilizza sipsImageMagick ma anche meglio. È un ottimo strumento e suggerisco di installarlo usando brewvedi brew homepage

Dai un'occhiata a GraphicsMagick o ImageMagick , hanno strumenti da riga di comando per tutti i tipi di manipolazione dei file grafici (inclusi elementi noiosi come la trasformazione in un altro formato).