bash – Batch Renaming Files

bashrenameshell

I have a directory full of images:

image0001.png
image0002.png
image0003.png
...

And I would like a one-liner to rename them to (say).

0001.png
0002.png
0003.png
...

How do I do this?

If you are using Bash or other POSIX-compatible shell:

for f in *.png; do
    mv -- "$f" "${f#image}"
done

Try something like

ext=$( echo "$i.${f##*.}" | tr [A-Z] [a-z] )
mv -- "$f" $i$ext

or for fixed length file names.

dest=$(printf '08d%' $9)$( echo "$i.${f##*.}" | tr [A-Z] [a-z] )
mv -- "$f" $dest

This could be one way:

for file in *.mp4\?token*; do mv --no-clobber "$file" "${file%%\?*}"; done