From: J.R.Stockton@physics.org   
      
   On Saturday, May 12, 2018 at 7:22:12 AM UTC+1, pro...@berkeley.edu wrote:   
   > On Friday, May 11, 2018 at 7:20:24 PM UTC-7, B00ze wrote:   
      
   > I couldn't find this on-line anymore, so I'm reposting the copy that   
   > I have on my computer.   
   >...   
   > Phil Robyn   
      
   > [Material by] Clay Calvert   
      
      
   Very useful, thanks.   
      
      
   Recently,   
      
     Prompt>echo %time%   
      
   gave me " 9:57:39.23"   
      
   But I wanted "09:57:39" - Presently, I use a small Batch file as follows,   
   so that %ISO-WHEN%" then gives the HH:MM:SS form   
      
     @setlocal   
     @set T=%time: =0%   
     @set T=%T:~,8%   
     @endlocal & set ISO-WHEN=%date% %T%   
      
   BUT is it possible to do the transformation in a single step,   
   with ????? being such that   
     echo %time?????%   
   would have given "09:57:39" (and, if so, how) ?????   
      
   --   
     (c) John Stockton, near London, UK.  Using Google Groups.           |   
    Mail: J.R.""""""""@physics.org - or as Reply-To, if any.             |   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)