Как переименовать группу файлов?

Группа файлов именуется как shot????.png (? - цифры). Нужно отбросить приставку shot, т.е. из shot0000.png получить 0000.png, а из shot9999.png получить 9999.png. Я сейчас смотрю, как прикрутить подходящий regex в bash, но, может, я все усложняю, и это делается гораздо проще? Если так, буду признателен за наводку.