J'ai rencontré un bogue dans mon script DOS qui utilise des données de date et d'heure pour nommer les fichiers. Le problème était que je me suis retrouvé avec un écart parce que la variable de temps ne fournissait pas automatiquement le zéro initial pour l'heure <10. Donc, l'exécution> echo% time% donne: '9: 29: 17.88'.
Quelqu'un connaît-il un moyen de remplir conditionnellement les zéros de tête pour résoudre ce problème?
Plus d'informations: Ma commande de définition de nom de fichier est:
set logfile=C:\Temp\robolog_%date:~-4%%date:~4,2%%date:~7,2%_%time:~0,2%%time:~3,2%%time:~6,2%.log
qui finit par être: C: \ Temp \ robolog_20100602_ 93208.log (pour 9h23 du matin).
Cette question est liée à celle-ci .
Merci