Переименование файлов.

[Paolo]

Добрый день.

Прошу вас помочь в решении одной проблемы.

У меня есть папка с файлами в с расширением JPG.

(100_1456.JPG 100_1567.JPG ... и т.п c большим разбросом имён)

Какой командой можно переименовать ВСЕ файлы,

чтобы новые имена были 0001.JPG 0002.JPG ... 0010.JPG

Спасибо за помощь.

P.S. Прошу не писать ответы типа, читайте manual.

Отвечу, читиал, не нашёл ничего по этой теме.

[allez]

Вот вам команда:

 declare -i num=1; for oldname in *.jpg; do newname="`printf %.8u $num`.jpg"; mv -v $oldname $newname; num=$num+1; done

Длина нового имени файла задается в форматной строке команды printf (я поставил 8 символов).