w10install/tools/restart-explorer.cmd
Michael H.G. Schmidt 96335e3e93 moving some scripts
2022-06-22 00:07:25 +02:00

9 lines
157 B
Batchfile

@echo off
echo Restarting explorer ...
taskkill /f /im explorer.exe 2>nul
rem sleep 2 seconds ...
ping 127.0.0.1 -n 2 >nul 2>&1
start explorer.exe