You could use the great command line image processing tool, ImageMagick and a bash
script like this to resize and rename your files:
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
Of course, you would need to change /full/path/to/your/pics
to match your actual image path. Then you can change the convert
(ImageMagick tool) options like -density
, -resize
and -quality
to best suit your needs.
You could also change the _thumb.png
to match whatever new filename you wish to use. If you set that to .png
it would simply overwrite your files in place with the newly converted files. Or if you change the extension to .jpg
or .gif
you would be telling ImageMagick to convert the .png
file to a .jpg
or .gif
. The configuration options of ImageMagick are a world unto themselves so it might seem a bit daunting at first, but spend some time learning the ropes and it is a rewarding and powerful tool.
But if ImageMagick is too complex for you, then “Graphic Converter” might be a better bet. It]s been around since the 1990s and is a great GUI tool for bulk image conversion and manipulation.