Mi sono imbattuto in un bug nel mio script DOS che utilizza i dati di data e ora per la denominazione dei file. Il problema era che avevo un gap perché la variabile time non forniva automaticamente zero iniziale per ora <10. Quindi in esecuzione> echo% time% restituisce: '9: 29: 17.88'.
Qualcuno sa un modo per riempire condizionalmente gli zeri iniziali per risolvere questo problema?
Ulteriori informazioni: Il mio comando set nome file è:
set logfile=C:\Temp\robolog_%date:~-4%%date:~4,2%%date:~7,2%_%time:~0,2%%time:~3,2%%time:~6,2%.log
che finisce per essere: C: \ Temp \ robolog_20100602_ 93208.log (per le 9:23 del mattino).
Questa domanda è collegata a questa .
Grazie