Descobri um modo incrível de se fazer conversão ao lote de imagens p/ qualquer formato.
É chato de tão fácil.
P/ isso, na distribuição GNU/Linux usada é preciso instalar o programas ImageMagick, ele é um poderoso manipulador de imagens via linha de comando (aquilo que todo mundo tem pavor de usar). Sugiro os 2 sites abaixo como bons exemplos do poder desse programa.
http://sergioaraujo.pbwiki.com/imagemagickhttp://tuxvermelho.blogspot.com/2007/06/tratamento-de-imagens-modo-rpido.htmlP/ instalar o ImageMagick, pelo menos no Ubuntu, faça assim:
Menu Sistema > Administração > Synaptic
Lá clique em buscar e digite ImageMagick, dê OK e depois de o Synaptic, achar o programa o selecione p/ instalar.
O GNU/Linux Ubuntu cuida de tudo, até instalando de repositório oficial.
Feito isso, vamos a prática. Tomando como exemplo o GNU/Linux Ubuntu.
Abre a pasta do navegador de arquivo padrão do GNU/Linux Ubuntu, o Nautilus onde estão as tais figuras que se quer converter.
Em seguida abra o Terminal nessa pasta. Eu aqui deixei o Terminal abrindo direto pelo Nautilus:
http://ubuntu-tutorials.com/2007/05/13/nautilus-open-terminal-terminal-quick-launch/http://www.gnomefiles.org/app.php/nautilus-open-terminalEntão, s/ precisar nenhuma imagem dê o comando no Terminal:
mogrify -format jpg *.gif
Lembrando de mudar a extensão de arquivo se quer converter.
Fonte da dica:
http://sergioaraujo.pbwiki.com/imagemagick#Convertendomuitasimagens--edit
http://wiki.ubuntu-br.org/ImageMagick