diff options
author | Luke Shumaker <lukeshu@sbcglobal.net> | 2016-08-13 16:42:48 -0400 |
---|---|---|
committer | Luke Shumaker <lukeshu@sbcglobal.net> | 2016-08-13 16:42:48 -0400 |
commit | 0c74cfe023001cda317fdf98bd1912a130e22d8f (patch) | |
tree | 3dd0adcb683e421967f20b8b5405dc1a2054b0ed /.config/wmii-hg/config.sh | |
parent | 9ee95b551b2437840e2d13129191fb57a28f7289 (diff) | |
parent | b6ca8ce55f0a850e18ef032dbe0aefffaf1be2ec (diff) |
Merge remote-tracking branch 'origin/master' into build64-par/master
# Conflicts:
# .config/wmii-hg/rbar_acpi
Diffstat (limited to '.config/wmii-hg/config.sh')
-rw-r--r-- | .config/wmii-hg/config.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/.config/wmii-hg/config.sh b/.config/wmii-hg/config.sh index 77d813f..19cebca 100644 --- a/.config/wmii-hg/config.sh +++ b/.config/wmii-hg/config.sh @@ -59,10 +59,12 @@ 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 "$WMII_ADDRESS" "$WMII_DIR" + while ! [[ -f "$WMII_DIR/event" ]]; do :; done + ;; 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 |