Я застрял здесь. Пожалуйста, помогите.
У меня есть большое количество файлов, названных так:
plot_[0-9]*\.?[0-9]+\.png
е. г. plot_.0012.png
или plot_1.12.png
.
Есть ли способ переименовать его в plot_{5 digits}.png
, например plot_00012.png
и plot_11200.png
?
Любая помощь будет очень полезна!
Привет, Юрген