w10install/tools/restart-explorer.cmd
Michael H.G. Schmidt 2573273bb0 timeouts adjusted
2023-01-22 21:18:28 +01:00

10 lines
177 B
Batchfile

@echo off
echo Killing explorer ...
taskkill /f /im explorer.exe 2>nul
echo sleeping 2 seconds ...
ping 127.0.0.1 -n 2 >nul 2>&1
echo starting ...
start explorer.exe