How to rename a set of files like this in the Windows command prompt?
current file names:
file111.txt file112.txt file113.txt
after renaming file names:
file0111.txt file0112.txt file0113.txt
How can I achieve this?
Another possible way, which checks for all files starting with
(If you want to put this in a batch file, you need to change