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

crist

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

代码如下：

1. 
   
2. @ECHO OFF
   
3. echo %time%
   
4. 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

1. @ECHO OFF
   
2. set t=%time: =0%
   
3. echo ComputerName=PC-%date:~0,4%%date:~5,2%%date:~8,2%%t:~0,2%%t:~3,2%
   
4. pause

复制代码