From: Zaidy036@isp.spam   
      
   On 6/9/2018 3:52 AM, Guest 1032 wrote:   
   > четвртак, 21. децембар 2017. 15.08.11 UTC+1, Dr J R Stockton   
   је написао/ла:   
   >> 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               |   
   >   
   > Try this:   
   > echo %time%~0,2%   
   >   
   Use this in place of time %Time: =0%   
      
   --   
   Zaidy036   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)