images/cmder
2
0
Fork 0
mirror of https://github.com/cmderdev/cmder.git synced 2025-04-21 09:02:30 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request from famoses/patch-1

Browse Source 
quote time measures for timer.cmd
This commit is contained in:
Dax T Games 2020-07-18 08:58:53 -04:00 committed by GitHub
commit 0c41d5f5d4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

2
vendor/init.bat vendored

@ -394,6 +394,6 @@ set CMDER_CONFIGURED=1
set CMDER_INIT_END=%time% set CMDER_INIT_END=%time%
if %time_init% gtr 0 ( 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 exit /b