Здравствуйте, уважаемые.
Как мне заменить имена файлов с
1, 2, 3, ... 10, 11, 12, ... 100, 101, 102
на
001, 002, 003, ... 010, 011, 012, ... 100, 101, 102
Желательно, что б программа или что бы то ни было, могла бы сама понимать какое у меня самое большое количество разрядов (или ручками ввести для каждой папки с файлами, совсем не критично) и сколько надо нулей ставить в начало.
Знатоки, подскажите, пожалуйста, как это можно сделать через регулярное выражение (желательно) в, например, Total Commander или Python, или bat, или bash.
P.S. Нужно перенумеровать (такое слово, интересно, есть?) как из маски
(1)*, (2)*, (3)*, ... (100)*, (101)*
, так и маски названий файлов наподобие
*№1, *№2, *№3, ... *№100, *№101, *№102
.