| commit | 89383fe8b5a14f953f5b7fb0279355680eee120a | |
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Tue, 18 Dec 2007 19:34:11 +0000 (18 20:34 +0100) | ||
| committer | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Tue, 18 Dec 2007 19:34:11 +0000 (18 20:34 +0100) | ||
| tree | 28ef8f77075d916e5efd5e6a3a3a5a349614d931 | treesnapshot (tar.gz zip) |
| parent | 17fb03c993174795f119a04b2bd33b7ce11067c7 | commitdiff |
Add a simple script to kill and restart explorer and task manager
The hassle with Explorer extensions is that once installed, the explorer
will not release the DLLs easily. The script kill-explorer.sh provides
a quick and dirty way to help that, by killing and restarting explorer.exe
and taskmgr.exe.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
The hassle with Explorer extensions is that once installed, the explorer
will not release the DLLs easily. The script kill-explorer.sh provides
a quick and dirty way to help that, by killing and restarting explorer.exe
and taskmgr.exe.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
| kill-explorer.sh | [new file with mode: 0644] | blob |