Форматирование времени в bat файлах

Есть переменные:

Дата - %DATE% или $d

Время - %TIME% или $t

Есть функция substr - в имени переменнойпишется знак ~ первый символ, сколько символов брать

Например %TIME:~0,2%

@echo off
echo %DATE% %TIME%
set HR=%TIME:~0,2%
set HR0=%TIME:~0,1%
if "%HR0%"==" "
set HR=0%TIME:~1,1%
set MIN=%TIME:~3,2%
set SEC=%TIME:~6,2%
set MYDATE=%DATE%-%HR%.%MIN%.%SEC%
echo %MYDATE%
pause

Пример взят здесь