Agregar un cero al nombre de los archivos en un directorio
==========================================================
En un directorio tenía los siguientes archivos:
ls -l
001.jpg
002.jpg
003.jpg
..
108.jpg
Pero tenía la necesidad de agregar a todos ellos un 0, para
hacerlo:
ls | awk '/^([0-9]+)\.jpg$/ { printf("%s %04d.jpg\n", $0, $1) }' | xargs -n2 mv -n
El resultado es:
0001.jpg
0002.jpg
0003.jpg
..
0108.jpg
Thats all folks!!
Emilio
7 de abril de 2024
Suchiapa, Chiapas. MX