Batch rename filenames with this shell script
By Alvin Alexander. Last updated: June 3 2016
Here's a Unix shell script that converts all "*.png" files in the current directory to lower-case names. In my case I had files named "Slide1.png", etc., and I wanted them to be named "slide1.png", and this script did the trick.