Some interesting findings from web-dev land…
For my own records. Batch file rename using shell: 123Rename all jpg files that contain the string 19_ and replace it with 28_
for file in *.jpg ; do mv $file `echo $file | sed ’s/19_/28_/g’` ; done