I have a set of files:
foo_1_somestring.txt foo_2_adifferentstring.txt .... foo_124_anotherstring.txt
I want to batch rename them to:
foo_001_somestring.txt foo_002_adifferentstring.txt .... foo_124_anotherstring.txt
How can I do this in Windows 10 or Linux?
ETA: this question is about how to batch rename a set of files so they follow a naming convention that allows the files to be ordered numerically, ie pads the numbered files w/ an appropriate number of zeros so that they can be ordered by name without file 2 appearing before file 125.
i was unable to find another posting that addressed this problem where the file names have a portion that remains the same (the "foo_" in the beginning) and a portion that varies