Formát času v command line

v commandline není parametr na vynucení formátu data, ani nepomůže change code page (chcp). a powershell neznám.
ale příkaz "time /t" kupodivu dá správný výpis hodin, jen je čas bez vteřin:

for /f "tokens=* delims=*" %%t in ('time /t') do (set cas=%%t)
echo "%cas%"

"08:15"

taky jde proměnnou %time% testovat na první hodnotu %time:~0,1% a kdyžtak provést náhradu:

set time0=0%time:~1%

..pro přesnost otestuj nebo prolistuj help.
ber v úvahu, že s časem s nulou na začátku nejde počítat - tyto hodnoty znamenají oktalový formát a zápis 08,09 je neplatný.

Díky, ošetřím to tím testováním a případně nahrazením prvního znaku.