问题描述
123
4456
657
23
199
我想向它添加填充零,以便最终得到 5 位数字,结果如下:
00123
04456
00657
00023
00199
我已经在网上查找过,但无法真正找到 .bat 文件的解决方案。 我尝试过类似以下的方法:
set num_max=5
set my_num=123
set "my_num=00000%my_num%"
set "mynum=!my_num:!~-%num_max%!"
echo %my_num%
但是 reuslt 变成了类似 00000123 的东西。我有一个循环来读取所有的输入值
for /f "tokens=1" %%a in (.\config.ini) do (
echo %%a
)
``` and the %%a is the value that I would like to add the padding zero to.
解决方法
如果您想继续前进并学习一些 PowerShell,您可以在 batch-file
中使用以下内容轻松完成。如果您使用的是受支持的 Windows 系统,则可以使用 PowerShell。
set "num_max=5"
set "my_num=123"
FOR /F "delims=" %%A IN ('powershell -NoLogo -NoProfile -Command "'%my_num%'.PadLeft(%num_max%,'0')"') DO (SET "my_num=%%~A")
ECHO my_num is %my_num%
当然,如果脚本用 PowerShell 编写会更容易。
$num_max = 5
$my_num = 123
$my_left_padded_num = "{0:$('0' * $num_max)}" -f $my_num
$my_left_padded_num