From 40c58417b2aea2293fd5675835005b34008605b0 Mon Sep 17 00:00:00 2001 From: famoses Date: Sat, 18 Jul 2020 13:32:22 +0200 Subject: [PATCH] quote time measures for timer.cmd MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The startup time duration is calculated wrongly ( at least for me, on Windows 1909, with CmderMini 1.3.15.1010 ). I got something like "Elapsed Time: 80:36:1.00 (290161.00s total)" printed into the cmder consle window. I can be solved by quoting the time measures taken in `init.bat`. It seems that `time.cmd` fails in recognizing two arguments. In fact it did split the first time measure into two arguments and ignored the second time measure. Example: from the two time measures λ echo %CMDER_INIT_START% %CMDER_INIT_END% 12:53:44,34 12:53:54,04 The call to `time.cmd` created following output (i added echo commands to print variables start and end right after they got assigned the arguments) start: 12:53:44 end: 34 --- vendor/init.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/vendor/init.bat b/vendor/init.bat index a4fecf9..43683fc 100644 --- a/vendor/init.bat +++ b/vendor/init.bat @@ -394,6 +394,6 @@ set CMDER_CONFIGURED=1 set CMDER_INIT_END=%time% if %time_init% gtr 0 ( - "%cmder_root%\vendor\bin\timer.cmd" %CMDER_INIT_START% %CMDER_INIT_END% + "%cmder_root%\vendor\bin\timer.cmd" "%CMDER_INIT_START%" "%CMDER_INIT_END%" ) exit /b