Given a directory of files:
00012.png, 00013.png, 00014.png
etc...
What is the simplest way to rename the entire batch to:
00001.png, 00002.png, 00003.png
etc...
I've looked up the rename utility but am feeling baffled.
There a number of other questions similar in nature to this but they are very specific (e.g: "how do I remove this underscore and three random letters"), and so they're normally answered with a similar degree of specificity. I just can't find a solution to this precise problem.