Você pode usar a excelente ferramenta de processamento de imagens de linha de comando, ImageMagick e um script bash
como este para redimensionar e renomear seus arquivos :
find '/full/path/to/your/pics' -type f -name '*.png' |\
while read FILENAME
do
NEW_FILENAME="$(echo $FILENAME | sed 's/.png//g')"
convert -density 72 -resize "200x200>" -quality 90% "${FILENAME}" "${NEW_FILENAME}"_thumb.png
done
É claro que você precisaria alterar /full/path/to/your/pics
para corresponder ao caminho real da imagem. Em seguida, você pode alterar as opções convert
(ImageMagick tool) como -density
, -resize
e -quality
para melhor atender às suas necessidades.
Você também pode alterar o _thumb.png
para corresponder a qualquer novo nome de arquivo que deseje usar. Se você definir isso como .png
, ele simplesmente substituirá os arquivos com os arquivos recém-convertidos. Ou, se você alterar a extensão para .jpg
ou .gif
, diria ao ImageMagick para converter o arquivo .png
para .jpg
ou .gif
. As opções de configuração do ImageMagick são um mundo em si mesmo, por isso pode parecer um pouco assustador no começo, mas passar algum tempo aprendendo as cordas e é uma ferramenta gratificante e poderosa.
Mas se o ImageMagick for muito complexo para você, então " Graphic Converter " pode ser uma aposta melhor. Ela existe desde os anos 90 e é uma ótima ferramenta de GUI para conversão e manipulação de imagens em massa.