bat获取不带符号系统时间，补0

如何获取日期呢?
格式： %date%
结果： 2023/12/25

如何获取时间呢?
格式： %time%
结果： 10:18:12.25
获取系统时间之后，需要不带符号系统时间，并且只需要几位，怎么办？

格式： %date:~ x,y%以及%time:~x,y%
说明： x是开始位置，y是取得字符数

获取完整的日期和时间示例：
格式：%date:~ 0,4%%date:~ 5,2%%date:~ 8,2%%time:~ 0,2%%time:~ 3,2%%time:~6,2%
结果： 20231225111039
注意以上的%time:~ 0,2%如果晚于10点是可以正确获取的，但时间早于10点，我的电脑显示如：2012 731，如何解决呢?
方案一：

for /f "tokens=2 delims==" %%a in ('wmic path win32_operatingsystem get LocalDateTime /value') do (set t=%%a)
set Today=%t:~0,4%%t:~4,2%%t:~6,2%%t:~8,2%%t:~10,2%
echo %Today%

方案二：

if %time:~0,2% LEQ 9 (echo %date:~2,2%%date:~5,2%%date:~8,2%0%time:~1,1%%time:~3,2%) else (echo %date:~2,2%%date:~5,2%%date:~8,2%%time:~0,2%%time:~3,2%) 

出自：
https://blog.csdn.net/machinecat0898/article/details/7804988
https://www.cnblogs.com/daysme/p/6571926.html