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