summaryrefslogtreecommitdiff
path: root/.config/wmii-hg/util.sh
diff options
context:
space:
mode:
authorLuke Shumaker <lukeshu@lukeshu.com>2018-03-21 13:47:08 -0400
committerLuke Shumaker <lukeshu@lukeshu.com>2018-03-21 14:16:39 -0400
commit8233cd9bf1da9203d3ad5664be3864e4fdaeff55 (patch)
treea097ea10663384022135c519d65eb8568fde65b2 /.config/wmii-hg/util.sh
parent19f36d3d49f10e81c31cbc56b3f8bf65c91003ad (diff)
wmiirc: make the wmiirc action work with systemd
Because the new wmiirc won't be a direct child of `systemd --user` (why isn't it a subreaper!?), it won't notice if wmiirc crashes. But we don't expect it to do that. ¯\_(ツ)_/¯
Diffstat (limited to '.config/wmii-hg/util.sh')
-rw-r--r--.config/wmii-hg/util.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/.config/wmii-hg/util.sh b/.config/wmii-hg/util.sh
index f80b871..49095b2 100644
--- a/.config/wmii-hg/util.sh
+++ b/.config/wmii-hg/util.sh
@@ -131,7 +131,7 @@ if (. /etc/profile.d/plan9.sh || true; type 9pfuse) &>/dev/null; then
while ! [[ -f "$2/event" ]]; do :; done
}
umount.9p() {
- fusermount -u "$1"
+ fusermount -u -z "$1"
}
elif type 9mount &>/dev/null; then
mount.9p() {