From: Zaidy036@isp.spam   
      
   On 12/21/2017 9:44 AM, npocmaka wrote:   
   > On Thursday, December 21, 2017 at 4:08:11 PM UTC+2, Dr J R Stockton wrote:   
   >> Variable %TIME% gives a two-digit hour from time 10:00, but before 10:00 it   
   gives a single digit hour preceded by a space.  I can copy TIME to variable   
   TIM.  I wish, preferably, to replace that space in TIM with a zero; otherwise,   
   just to remove it    
   from TIM.  I want to always get "HH:MM:SS.ss".  Windows 7 & up.   
   >>   
   >> How is that best done, preferably in a manner that is easy to understand on   
   reading it in several months time?   
   >>   
   >>   
   >> --   
   >>    (c) John Stockton, near London, UK.  Using GMail.                    |   
   >>   Mail: J.R.""""""""@physics.org - or as Reply-To, if any               |   
   >   
   > You have to edit time settings from the control panel (or from the registry)   
   and set long and short format of the time to hh:mm:ss   
   >   
   The following in a batch replaces the leading blank with "0" for ECHO,   
   etc.:  %Time: =0%   
      
   --   
   Zaidy036   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)