我有一些文件的名字就像
Image 1.jpg
Image 2.jpg
Image 10.jpg
Image 11.jpg
Image 20.jpg
它们按照我希望它们出现的确切顺序编号,但是当我执行dir
Image 1.jpg
Image 10.jpg
Image 11.jpg
Image 2.jpg
Image 20.jpg
如果这些应该是动画中的帧,那么您的动画基本上会出错。
我想用 0 填充数字。字符串的格式始终相同
PREFIX NUMBER.EXT
如何填充文件名以便获得
Image 0001.jpg
Image 0002.jpg
Image 0010.jpg
Image 0011.jpg
Image 0020.jpg
这是我到目前为止所做的
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!
)
这将删除前缀。然后我会用前导字符 0 填充生成的文件名,然后重命名文件。