diff options
Diffstat (limited to '.config/wmii-hg/util.sh')
| -rw-r--r-- | .config/wmii-hg/util.sh | 2 |
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() { |