DOS - Batch - nom de fichie selon l'heure

mich -  
 mich -
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
A voir également:

1 réponse

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