Me deparei com um bug no meu script DOS que usa dados de data e hora para nomear arquivos. O problema foi que eu acabei com uma lacuna porque a variável time não forneceu automaticamente zero inicial por hora <10. Portanto, executar> echo% time% retorna: '9: 29: 17,88'.
Alguém sabe uma maneira de preencher condicionalmente zeros à esquerda para corrigir isso?
Mais informações: Meu comando set filename é:
set logfile=C:\Temp\robolog_%date:~-4%%date:~4,2%%date:~7,2%_%time:~0,2%%time:~3,2%%time:~6,2%.log
que acaba sendo: C: \ Temp \ robolog_20100602_ 93208.log (para 9:23 da manhã).
Esta questão está relacionada a esta .
obrigado