DOS批处理中字符替换的小技巧

参考: http://www.cn-dos.net/forum/viewthread.php?tid=36953

set newtime=%time:~0,2%%time:~3,2%

可以产生HHMM形式的时间字符串, 但是当0..9点时, 小时数只有1位, 前面会产生一个空格而不是0.

echo %newtime: =0%

将字符串中的空格替换成0.