Números de relleno en nombre de archivo con 0
Tengo algunos archivos cuyos nombres son como
Image 1.jpg
Image 2.jpg
Image 10.jpg
Image 11.jpg
Image 20.jpg
Están numerados en el orden exacto en que quiero que aparezcan, pero Windows los lleva en este orden cuando hago unadir
Image 1.jpg
Image 10.jpg
Image 11.jpg
Image 2.jpg
Image 20.jpg
Si se supone que estos son cuadros en una animación, tu animación básicamente saldrá mal.
Me gustaría rellenar los números con 0's. El formato de las cadenas es siempre el mismo.
PREFIX NUMBER.EXT
¿Cómo puedo rellenar los nombres de archivos para que yo obtenga
Image 0001.jpg
Image 0002.jpg
Image 0010.jpg
Image 0011.jpg
Image 0020.jpg
Esto es lo que he hecho hasta ahora.
echo off
Setlocal EnableDelayedExpansion
rem note the extra space at the end of "Image "
set prefix=Image
for %%F in (*.jpg) do (
set a=%%F
rem // strip the prefix
set a=!a:%prefix%=!
echo !a!
)
Esto elimina el prefijo. Luego rellenaría el nombre del archivo resultante con los caracteres iniciales 0 y luego cambiaría el nombre del archivo.