diff options
author | Luke Shumaker <shumakl@purdue.edu> | 2014-04-21 13:40:49 -0400 |
---|---|---|
committer | Luke Shumaker <shumakl@purdue.edu> | 2014-04-21 13:40:49 -0400 |
commit | 23c45e3dfacbb773e3ffd32ef623f712db5e395c (patch) | |
tree | 487a03c54a41f09aed40d65394c079de4fb89b01 /.config/wmii-hg/config.sh | |
parent | 36e34f397b00ad39e21edcd7c91704b1ee454290 (diff) |
fight with X11
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 3ddc8d5..4889aac 100644 --- a/.config/wmii-hg/config.sh +++ b/.config/wmii-hg/config.sh @@ -60,10 +60,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 "$WMII_DIR";; ## WMII-meta events |