From: Zaidy036@isp.spam   
      
   On 5/12/2018 5:33 AM, Dr J R Stockton wrote:   
   > 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) ?????   
   >   
   SET "_T=%Time:~0,8%"   
      
   --   
   Zaidy036   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)