У меня есть сотни файлов изображений (.jpg) с разными именами, ничего общего; например, 12223.jpg, beautiful-ocean.jpg, aWkqi.jpg. Как я могу переименовать их все в серии, такие как 1.jpg, 2.jpg, 3.jpg ...
Можно переименовать файлы как 001.jpg
, 002.jpg
, ... 999.jpg
в bash
:
declare -i num=1
for file in *.jpg ; do
printf -v newname "%03d.jpg" $num
num=$(( num + 1 ))
echo mv "$file" "$newname"
done
Заменить «echo mv
» на «mv
» когда вы довольны полученными результатами.