Вы можете использовать отличный инструмент для обработки изображений из командной строки, ImageMagick и скрипт bash например, для изменения размера и переименования ваших файлов:
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
Конечно, вам нужно изменить /full/path/to/your/pics в соответствии с вашим фактическим путем к изображению. После этого вы можете изменить convert (ImageMagick инструмента) варианту , как -density -resize и -quality наилучшим образом удовлетворить ваши потребности.
Вы также можете изменить _thumb.png чтобы он соответствовал новому имени файла, которое вы хотите использовать. Если вы установите его в .png он просто перезапишет ваши файлы на месте вновь преобразованными файлами. Или, если вы измените расширение на .jpg или .gif вы скажете ImageMagick преобразовать файл .png в .jpg или .gif . Параметры конфигурации ImageMagick - это целый мир, так что поначалу он может показаться немного сложным, но потратьте некоторое время на изучение веревок, и это полезный и мощный инструмент.
Но если ImageMagick слишком сложен для вас, лучше подойдет «Графический конвертер» . Он существует с 1990-х годов и является отличным графическим инструментом для массового преобразования и манипулирования изображениями.