Здравствуйте. Помогите, пожалуйста.
Есть набор файлов с именами вида 1.jpg, 2.jpg, ......., 10.jpg, 11.jpg, ........., 100.jpg, 101.jpg, 102.jpg и т.д.
Как средствами bash/sh можно пакетно их переименовать в 0001.jpg, 0002.jpg, ......., 0010.jpg, 0011.jpg, ........., 0100.jpg, 0101.jpg, 0102.jpg и т.д. (нужно для правильной конвертера-сборщика)
Может есть какие-то консольные утилиты?
Помогите, пожалуйста.