w10install/tools/restart-explorer.cmd

10 lines
206 B
Batchfile
Raw Permalink Normal View History

2022-06-22 00:07:25 +02:00
@echo off
2023-01-22 21:18:28 +01:00
echo Killing explorer ...
taskkill /f /im explorer.exe /FI "USERNAME eq %USERNAME%" 2>nul
2023-01-22 21:18:28 +01:00
echo sleeping 2 seconds ...
2022-06-22 00:07:25 +02:00
ping 127.0.0.1 -n 2 >nul 2>&1
2023-01-22 21:18:28 +01:00
echo starting ...
2022-06-22 00:07:25 +02:00
start explorer.exe