# Rename a bunch of files all at once:
# (this uses bash for and sed commands as helpers..)
for fname in *.png ; do mv "$fname" "$(echo "$fname" | sed 's/OldFilenameSubstring/NewFilenameSubstring/')" ; done;
# (replace *.png with whatever you want.)