
Tengo cientos de archivos de imágenes (.jpg) con diferentes nombres sin nada en común; por ejemplo, 12223.jpg, hermoso-océano.jpg, aWkqi.jpg. ¿Cómo puedo cambiarles el nombre a todos en serie, como 1.jpg, 2.jpg, 3.jpg...?
Respuesta1
Se podría cambiar el nombre de los archivos como 001.jpg
, 002.jpg
, ... 999.jpg
de bash
la siguiente manera:
declare -i num=1
for file in *.jpg ; do
printf -v newname "%03d.jpg" $num
num=$(( num + 1 ))
echo mv "$file" "$newname"
done
Cambie " echo mv
" a " mv
" cuando esté satisfecho con los resultados generados.