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

12

Eu tenho 10k + arquivos GIF que eu 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 isso:

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 idéia?

    
por Sherzod 25.03.2013 / 04:17

3 respostas

32

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

Por exemplo, para converter cada .gif para .jpeg , colocando-os em uma pasta chamada jpegs :

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

Ou, para convertê-los recursivamente usando find , que colocará um arquivo JPEG com o mesmo nome do GIF próximo a ele.

find . -iname "*.gif" -type f -exec sh -c 'sips -s format jpeg "$0" --out "${0%.gif}.jpeg"' {} \;
    
por 25.03.2013 / 09:36
2

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

Esse aqui funciona para mim (depois do comando cd my_dir_with_gif , claro):

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

E se você quiser definir também a compactação jpg ( [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 (lembrar que o formato sips jpg é sempre jpeg , a extensão pode ser .jpg )

Isso usando sips , mas melhor ainda o ImageMagick. É uma ótima ferramenta, e eu sugiro instalá-lo usando brew consulte página inicial do brew

    
por 19.05.2014 / 06:49
0

Confira GraphicsMagick ou ImageMagick , eles têm ferramentas de linha de comando para todos os tipos de arquivos gráficos (incluindo coisas chatas, como transformar em outro formato).

    
por 25.03.2013 / 04:29