I have images with filenames like
0034343.jpg and I want to remove the leading zeros, leaving
34343.jpg as the new filename.
How can I do this in the command prompt? I tried
REN 00*.jpg *.jpg, but it didn't work.
migrated from stackoverflow.com Sep 21 '10 at 8:17
This question came from our site for professional and enthusiast programmers.
This will just strip two characters off the beginning of every file name. Delayed expansion must be enabled. Might need to do
You should be able to start with:
This will, as it stands, simply echo the
Stepping through it bit by bit:
You can examine the various commands by entering