我在 DOS 脚本中遇到了一个错误，该错误使用日期和时间数据进行文件命名。问题是我最终出现了一个差距，因为时间变量没有自动提供小时 < 10 的前导零。所以运行> echo %time% 返回：'9:29:17.88'。
有没有人知道有条件地填充前导零来解决这个问题的方法？
更多信息：我的文件名设置命令是：
set logfile=C:\Temp\robolog_%date:~-4%%date:~4,2%%date:~7,2%_%time:~0,2%%time:~3,2%%time:~6,2%.log
最终是：C:\Temp\robolog_20100602_93208.log（早上 9:23）。
这个问题和这个有关。
谢谢