I used Sound Juicer to rip a CD of audio for a language learning book so that I could listen to them on my Android. However, Sound Juicer seems to only have the option of numbering files without leading zeros. Like this:
This leads to some confused ordering on my music player. So, I want to add some zeros to the name, so that they're ordered properly, like this:
How do I accomplish this? I tried using GPRename, but while it has the ability to add numbers, it doesn't seem to have any options for adding leading zeros.
Is there a better program or something I can do at the command line?