Question

批处理：怎样替换时间输出格式

时间%time%,输出格式是“ 9:28:05.46”的样式，我想让他以9280546的样式输出，也就是把第一位的空格和后面的冒号点号全部去除，怎么做可以？
使用set，代码越精简越好。
要是有注释，就更好了呵呵。
本来我想用set %time::=%的，但运行后会显示“环境变量 93701.32 没有定义。”
我想知道，怎么才能定义那个环境变量。
---------------------------------------------------------------------
for /f我倒是知道这么用 就是想用set把它弄出来，而且不用截取字符。
echo %time:~-10,-9%%time:~-8,-6%%time:~-5,-3%%time:~-2% 以及类似的答案不用，谢谢。
---------------------------------------------------------------------
就想用set字符替换把它弄出来，不知道怎么用。。。
三楼：
set MM=%TIME::=%
set NN=%MM:.=%
set x=%nn: =%
echo %x%
pause
效果实现不错，思路我理解了，能不能再精简点的代码？

!!只是想单纯用set就实现那功能，不想用for

Answer 1

用call 写在一行上，算不算精简？

set wind=%time: =%& call set wind=%%wind::=%%& call set wind=%%wind:.=%%
echo %wind%& pause

Answer 2

都用到for还不懂啊，改一下即可：

@echo off
for /f "tokens=1-4 delims=:. " %%i in ('echo/%time%') do set var=%%i%%j%%k%%l
echo/%var%
pause>nul

Answer 3

set MM=%TIME::=%
set NN=%MM:.=%
echo %NN%
pause