La adición de relleno de ceros a nombre de archivo con fiesta

WZ-Billings:

Tengo un directorio lleno de carpetas con el nombre, por ejemplo, "Semana1", "Semana2", ..., "Week9", y ahora han llegado al punto en que necesito un Week10. Al no haber anticipado este problema antes, ahora la necesidad de cambiar el nombre de todos mis directorios a ser "Week01", "Week02", ..., "Week09".

Normalmente me gustaría hacer esto a mano, pero sé lo suficiente sobre las MacOS golpean terminal de saber que yo debería ser capaz de lograr esto con algo como

for f = Week[1-9]; do
   mv $f something something
done

Pero no sé qué poner en el "algo algo" para cambiar los nombres de la forma que quiera. ¿Cómo puedo insertar los ceros en mis nombres de archivo?

Carl Norum:

Uso printf(1)!

for OLD in {1..9}
do
    NEW=$(printf %02d ${OLD})
    mv Week${OLD} Week${NEW}
done