Como converter arquivos GIF em PNG ou JPEG no OS X com linha de comando?

Tenho 10k + arquivos GIF que preciso converter para PNG ou JPEG de preferência usando a linha de comando para que eu possa automatizá-lo. Não estou preocupado em perder qualidade ou transparência, só preciso preparar arquivos para o software OCR.

Ao tentar usar convertformat, recebo o seguinte:

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

Alguma ideia?

Não há necessidade de ferramentas adicionais. O OS X possui sips, que pode converter imagens para (quase) qualquer formato.

Por exemplo, para converter todos .gifem .jpeg, coloque-os em uma pasta chamada jpegs:

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

Ou, para recursivamente convertê-los usando find, o que colocará um arquivo JPEG com o mesmo nome que o GIF ao lado.

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

Questão bastante antiga, mas infelizmente a solução 2 do slhck não funciona para mim (OS X Mountain Lion, bash), recebo um erro.

Este funciona para mim (após o cd my_dir_with_gifcomando, é claro):

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

E se você quiser definir a compactação jpg também ( [low|normal|high|best|<percent>])

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

Para outros formatos, você deve alterar as extensões (lembrando que o formato jpg dos goles é sempre jpeg, a extensão pode ser .jpg)

Esta usando, sipsmas ainda melhor ImageMagick. É uma ótima ferramenta, e eu sugiro para instalá-lo usando brewsee homepage bebida

Confira GraphicsMagick ou ImageMagick , eles têm ferramentas de linha de comando para todo tipo de manipulação de arquivos gráficos (incluindo coisas chatas como transformar em outro formato).