
Ich habe Hunderte von Bilddateien (.jpg) mit unterschiedlichen Namen, die nichts gemeinsam haben, z. B. 12223.jpg, beautiful-ocean.jpg, aWkqi.jpg. Wie kann ich sie alle nacheinander umbenennen, z. B. 1.jpg, 2.jpg, 3.jpg...
Antwort1
Man könnte die Dateien wie 001.jpg
folgt 002.jpg
umbenennen :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
Ändern Sie " echo mv
" in " mv
", wenn Sie mit den generierten Ergebnissen zufrieden sind.