let explorer kill script wait for input until it restarts the explorer
commitef89fb6812c8c29e477d7c71f687de73c38bb832
authorHeiko Voigt <hvoigt@hvoigt.net>
Thu, 8 Oct 2009 20:09:51 +0000 (8 22:09 +0200)
committerHeiko Voigt <hvoigt@hvoigt.net>
Sun, 18 Oct 2009 14:01:39 +0000 (18 16:01 +0200)
tree04bb945ee18c7a2f731bdfa07348e689b5fa32a9
parent201b641d6ef9560f0db11071d8104f5d0284e634
let explorer kill script wait for input until it restarts the explorer

This is helpful if you want to kill the explorer, make install and
start it again

Signed-off-by: Heiko Voigt <hvoigt@hvoigt.net>
explorer/kill-explorer.sh