Possible Duplicate:
How can I mass rename files from the command line or using a 3rd party tool?
I have a group of 47 .mp3 files that are being used for a multimedia project that are named 01.mp3 - 47.mp3 Every file should really have a name that is that number + 5, so that 02.mp3 should really be 07.mp3 The renamed files can have some sort of prefix + the number, or can be written to a new folder as to not interfere with the existing files.
I have Ubnutu and Windows at my disposal.. Can someone suggest an approach to this?