From 1ef26bf6c8d64f68770ad4e2a831724b1d2f1be8 Mon Sep 17 00:00:00 2001 From: "Michael H.G. Schmidt" Date: Wed, 28 Dec 2022 22:39:43 +0100 Subject: [PATCH] testing ... --- boot/CustomSetup.cmd | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/boot/CustomSetup.cmd b/boot/CustomSetup.cmd index e5f151b..d6299a4 100644 --- a/boot/CustomSetup.cmd +++ b/boot/CustomSetup.cmd @@ -15,13 +15,13 @@ date /t time /t echo. -echo killing ssh agent ... -taskkill /F /IM ssh-agent.exe -taskkill /F /IM ssh.exe +rem echo killing ssh agent ... +rem taskkill /F /IM ssh-agent.exe +rem taskkill /F /IM ssh.exe -echo restart explorer ... -taskkill /F /IM explorer.exe & start explorer.exe -echo. +rem echo restart explorer ... +rem taskkill /F /IM explorer.exe & start explorer.exe +rem echo. echo deleting %TOOLS% and %SXS% ... rd /S /Q %TOOLS% %SXS%