Converter todas as imagens de um diretório

Um post bem curto, para variar um pouco.

Vi este link e achei interessante.

Tudo consiste neste script (para rodar no shell do Linux):

>> for f in *.jpg;
>> do convert -verbose $f ${f%.*}.png;
>> done

O comando convert pertence ao pacote do ImageMagick.

O código apresentado converte todas as imagens do diretório corrente de *.jpg para *.png, para converter entre outros formatos basta mudar para as extensões desejadas.

Para os que não compreenderam o código:
1a linha - laço que percorre todos os arquivos de extensão *.jpg;
2a linha - chama o convert para mudar o arquivo atual $f para o novo arquivo, que terá o mesmo nome com a nova extensão ${f%.*}.png;
3a linha - indica o fim do laço.

Os que entendem algo de codificação de imagens, devem imaginar os benefícios que este tipo de recurso oferece.