Padding numbers in filenames

[Ian Petersen]

There might be a faster way, but I always solve this problem with a
for loop (in Bash--not sure how the syntax differs for other shells).

for i in [1-9].png; { mv $i 000$i; }
for i in [1-9][0-9].png; { mv $i 00$i; }
for i in [1-9][0-9][0-9].png { mv $i 0$i; }

Ian

-- 
Tired of pop-ups, security holes, and spyware?
Try Firefox: http://www.getfirefox.com
--
The Toronto Linux Users Group.      Meetings: http://gtalug.org/
TLUG requests: Linux topics, No HTML, wrap text below 80 columns
How to UNSUBSCRIBE: http://gtalug.org/wiki/Mailing_lists