нужно переименовать файлы и имя файла начать с его номера. Приблизительно вот так:
some_command | while read name ; do
...
newname=`echo $name | ...`
newname="$counter-$newname"
(( counter++ ))
done
Но, нужно чтобы приписывались цифры не 1, 2, 3, ... , а 001, 002, 003, ... .
Как это сделать?
