У меня есть куча файлов, названных так:
output_1.png
output_2.png
...
output_10.png
...
output_120.png
Что является самым простым способом переименования этих элементов в соответствие с соглашением, например. с максимальными четырьмя десятичными знаками, так что файлы называются:
output_0001.png
output_0002.png
...
output_0010.png
output_0120.png
Это должно быть легко в Unix/Linux/BSD, хотя у меня также есть доступ к Windows. Любой язык в порядке, но меня интересуют некоторые очень аккуратные однострочные (если они есть?).