W skrypcie wsadowym systemu Windows (Windows XP) muszę sformatować bieżącą datę i godzinę do późniejszego wykorzystania w nazwach plików itp.

Jest to podobne do pytania Przepełnienie stosuJak dołączyć datę do plików wsadowych, ale także z czasem.

Mam to do tej pory:

echo %DATE%
echo %TIME%
set datetimef=%date:~-4%_%date:~3,2%_%date:~0,2%__%time:~0,2%_%time:~3,2%_%time:~6,2%
echo %datetimef%

co daje:

28/07/2009
 8:35:31.01
2009_07_28__ 8_36_01

Czy mogę zezwolić na jednocyfrową godzinę w% TIME%, aby uzyskać następujące informacje?

2009_07_28__08_36_01