格式化DOS下时间输出

dos下由于时间格式不同，使用的echo时间的形式也可能不同，比较变态。跟机器设置有关：
请看：
U:\>echo %date%
09/29/2011 Thu

U:\>echo %time%
9:08:32.41

U:\>echo %date:~6,4%-%date:~0,2%-%date:~3,2%
2011-09-29

U:\>echo T%time:~0,2%%time:~3,2%%time:~6,2%
T 91417

U:\>set ttt=%date:~6,4%-%date:~0,2%-%date:~3,2%T%time:~0,2%%time:~3,2%%time:~6,2%

U:\>echo %ttt%
2011-09-29T 91605

这里就简单的记一笔吧。没什么实用价值。如果上边的date和time格式不一样，后边的变量设置就得变。