Hi,
i use a 24 hours time clock under my windows OS.
if i use a command line like the following ones:
Code: [Select]set t=%time%
set tm=%t:~0,2%%t:~3,2%%t:~6,2%

and time is 09:52:38 in the morning, the %t% will be equal to " 9:52:38".
instead of that i would like to get "09:52:38", so the hours with a 0 in front of them.

how can i do that ?
thanks a lot,

A.1. Use string replacement to change all spaces in %tm% to zeroes. In fact there will only ever be one space, at the start, when the hour is 0 to 9.

Code: [Select]echo off
set t=%time%
set tm=%t:~0,2%%t:~3,2%%t:~6,2%
set tmzero=%tm: =0%
echo      t = "%t%"
echo     tm = "%tm%"
echo tmzero = "%tmzero%"
Output...

Code: [Select]     t = " 8:32:14.07"
    tm = " 83214"
tmzero = "083214"
Alternatively...

2. Maybe you prefer to test if the FIRST character (offset 0) of %tm% is a space, and if it is, make a new string composed of a zero character and the characters of %tm% from position 2 (offset 1) to the end


Code: [Select]echo off
set t=%time%
set tm=%t:~0,2%%t:~3,2%%t:~6,2%
if "%tm:~0,1%"==" " set tmzero=0%tm:~1%
echo      t = "%t%"
echo     tm = "%tm%"
echo tmzero = "%tmzero%"

Output...

Code: [Select]     t = " 8:41:39.75"
    tm = " 84139"
tmzero = "084139"

Alain, since your name sounds like you are French or at least francophone. I would like to tell you that although I am rosbif de chez rosbif, I am a BIG fan of a French rock group called INDOCHINE. Have you heard of them?

alternatively, download and use GNU date for windows
Code: [Select]C:\test>gnu_date.exe "+%H:%m:%S"
15:04:06
you can format the date/time however you want, plus a whole lot of other date/time features.
Code: [Select]C:\test>gnu_date "+%H-%M-%S"
15-16-34
C:\test>gnu_date "+%Y-%m-%d-%H:%M:%S" -d "yesterday"
2010-04-09-15:57:23

Here comes the "do it another way" brigade... in that vein, VBScript can be handy also...

Quote from: Salmon Trout on April 10, 2010, 01:50:00 AM

Here comes the "do it another way" brigade... in that vein, VBScript can be handy also...

i know indochine... it's an old band mid-80's in light rock scene...