[日期时间] 批处理如何使时间中的空格转换成数字0？

crist

假设现在的系统时间是2012年10月10日0点9分38秒

代码如下：

@ECHO OFF
echo %time%
set time=%time: =0% && echo ComputerName=PC-%date:~0,4%%date:~5,2%%date:~8,2%%time:~0,2%%time:~3,2%
复制代码

运行结果如下：
[空格]0:09:38.51
ComputerName=PC-20121010[空格]010

请问如何才能将空格转换成数字0呢？

apang

@ECHO OFF
set t=%time: =0%
echo ComputerName=PC-%date:~0,4%%date:~5,2%%date:~8,2%%t:~0,2%%t:~3,2%
pause
复制代码