DOS - Batch - nom de fichie selon l'heure

Fermé
mich - Modifié par mich le 22/04/2010 à 10:50
 mich - 22 avril 2010 à 10:58
J'ai un batch file ou je cree un ficher nomme selon la date et l'heure. Je le fait de ma maniere suivante:

set date_label=%date:~12,2%%date:~4,2%%date:~7,2%_%time:~0,2%%time:~3,2%%time:~6,2% 
echo aaa > "name_%date_label%"


Mon problem c'est quand l'heure est a 1 chifre. Si j'execute le scripte avant 10h du matin j'obtiens un espace dans le nom (ex: name_100422_ 82842). Y'a t il un moyen de remplacer cet espace par un zero (0) quand l'heure est a un chiffre ?
Merci

1 réponse

Well....
I just found it:
set date_label=%date_label: =0%
0