diff options
Diffstat (limited to '.config/wmii-hg/config.sh')
-rw-r--r-- | .config/wmii-hg/config.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.config/wmii-hg/config.sh b/.config/wmii-hg/config.sh index 64596a8..7ef8305 100644 --- a/.config/wmii-hg/config.sh +++ b/.config/wmii-hg/config.sh @@ -58,10 +58,10 @@ Event() { echo " -> Creating mountpoint WMII_DIR=$WMII_DIR..." mkdir -p "$WMII_DIR" echo " -> Mounting WMII_DIR=$WMII_DIR..." - 9mount -i "unix!$WMII_NAMESPACE/wmii" "$WMII_DIR";; + 9pfuse "unix!$WMII_NAMESPACE/wmii" "$WMII_DIR";; WmiircUnmount) ## No args echo " -> Unmounting WMII_DIR=$WMII_DIR..." - 9umount "$WMII_DIR" + fusermount -u "$WMII_DIR" echo " -> Removing mountpoint WMII_DIR=$WMII_DIR..." rmdir -p "$WMII_DIR" 2>/dev/null;; ## WMII-meta events |