Convertendo e redimensionando muitas imagens png para jpeg

Question

Eu tenho muitas imagens .png em uma pasta. Existe um comando (ou software) que pode converter todos eles para .jpg e (simultaneamente) redimensionar os arquivos .jpg criados para 25% do tamanho original?

    

Answer 1

Use o comando convert de ImageMagick :

convert x.png -resize 25% x.jpg

criará uma versão JPEG reduzida em 25% de x.png .

Para fazer todos os arquivos PNG de uma vez, use um loop for :

for filename in *.png ; do convert "$filename" -resize 25% "${filename%.png}.jpg" ; done

Analisamos todos os arquivos que correspondem a *.png e, para cada um deles, executamos o comando convert acima. "${filename%.png}.jpg" gera o nome do arquivo .jpg para cada .png : remove a extensão com % e coloca .jpg de volta no final.

    

Answer 2

Você pode usar mogrify para converter & redimensione todas as imagens de .png no diretório atual:

mogrify -resize 25% -format jpg *.png

porque usa -format jpg as imagens .png originais deixadas intactas
(quando format é o mesmo ou falta os originais são sobrescritos).