Batch bother - need 2 digit hour or suppressed space

Question

0.00/5 (No votes)

See more:

In a thowback to the '80's I am using a batch script to log SOAP injections
The output file name is time stamped but it only works properly after 10:00!

echo on
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%

The difficulty is that I cannot find a good example that would suppress the space in the small hours or left pad it with zero.

e.g where '2013_03_06_ _8_16' would be represeted as either 2013_03_06_08_16' or 2013_03_06_8_16'

Currently I get '2013_03_06__'

Posted 5-Mar-13 21:18pm

Ger Hayden

Updated 5-Mar-13 21:46pm

v2

Add a Solution

1 solution

Add a Solution

Add your solution here

Treat my content as plain text, not as HTML

Preview 0

…

Existing Members

Sign in to your account

...or Join us

Download, Vote, Comment, Publish.

Your Email
Password
Forgot your password?

Your Email
This email is in use. Do you need your password?
Optional Password

I have read and agree to the Terms of Service and Privacy Policy
Please subscribe me to the CodeProject newsletters

When answering a question please:

Read the question carefully.
Understand that English isn't everyone's first language so be lenient of bad spelling and grammar.
If a question is poorly phrased then either ask for clarification, ignore it, or edit the question and fix the problem. Insults are not welcome.
Don't tell someone to read the manual. Chances are they have and don't get it. Provide an answer or move on to the next question.

Let's work to help developers, not make them feel stupid.

This content, along with any associated source code and files, is licensed under The Code Project Open License (CPOL)

Richard MacCutchan · Accepted Answer · 2013-03-05T23:30:00

Solution 1

You could extract the first character of the time value and if it's a space rebuild it with a leading zero. Something like (my .bat skills being rusty):

set Z=%time:~0,1%
if %Z% NEQ 0 set Z=0
set newtime=%Z%%time:~1,7%

Reviewing this I realise you need to check for the digits 1 and 2 also.

Posted 5-Mar-13 23:30pm

Richard MacCutchan

Updated 6-Mar-13 0:34am

v3

Comments

Ger Hayden 7-Mar-13 3:55am

This is waht I settled on - thanks for the steer:
<pre>
echo on
echo %DATE%
echo %TIME%
set Z=%time:~0,1%
ECHO FIRST TEST
if 1 NEQ %Z% ECHO GOTO NEQ1
GOTO TIMELABEL
:NEQ1
ECHO AT NEQ1
if 2 NEQ %Z% ECHO goto NEQ2
GOTO TIMELABEL
:NEQ2
ECHO AT NEQ2
SET Z=0
:TIMELABEL
set newtime=%Z%%time:~1,7%
echo %newtime%
</pre>

Richard MacCutchan 7-Mar-13 4:20am

A slightly shorter version:


set Z=%TIME:~0,1%
if "1" EQU "%Z%" GOTO TIMELABEL
if "2" EQU "%Z%" GOTO TIMELABEL
SET Z=0
:TIMELABEL
set newtime=%Z%%TIME:~1,7%