diff options
| author | Luke Shumaker <LukeShu@sbcglobal.net> | 2012-10-15 12:48:36 -0400 |
|---|---|---|
| committer | Luke Shumaker <LukeShu@sbcglobal.net> | 2012-10-15 20:22:26 -0400 |
| commit | 4493d30ac4c747b08b2107a440084245a9157bd4 (patch) | |
| tree | b1e7ebee70370cd4709510c1f46555b91aa8d143 | |
| parent | 8f6fe81e1db6e1d95a4eb0ef303491b4aadf44c1 (diff) | |
wmii: use 9mount
| -rw-r--r-- | .wmii/include.sh | 2 | ||||
| -rwxr-xr-x | .wmii/wmiirc | 7 |
2 files changed, 4 insertions, 5 deletions
diff --git a/.wmii/include.sh b/.wmii/include.sh index f4b29b3..29d4d67 100644 --- a/.wmii/include.sh +++ b/.wmii/include.sh @@ -4,7 +4,7 @@ if [ -z "$WMII_NAMESPACE" ]; then export WMII_NAMESPACE=`wmiir namespace` fi if [ -z "$WMII_DIR" ]; then - export WMII_DIR=$WMII_NAMESPACE/mnt + export WMII_DIR="$HOME/n/wmii" fi # a -- a work-around for buggy IO append in 9pfuse diff --git a/.wmii/wmiirc b/.wmii/wmiirc index 92adb8b..8d77394 100755 --- a/.wmii/wmiirc +++ b/.wmii/wmiirc @@ -5,9 +5,8 @@ wmiir xwrite /event Start . "$HOME/.wmii/include.sh" echo ' ==> Starting wmiirc' -mount9p=/opt/plan9/bin/9pfuse -mkdir -p $WMII_NAMESPACE/mnt -$mount9p $WMII_NAMESPACE/{wmii,mnt} +mkdir -p "$WMII_DIR" +9mount -i "unix!$WMII_NAMESPACE/wmii" "$WMII_DIR" MODKEY=Mod4 # super UP=p @@ -45,7 +44,7 @@ Event() { echo ' ==> Stopping wmiirc' echo " -> unmounting WMII_DIR=$WMII_DIR..." # might complain about /etc/mtab if the x server has already stopped - fusermount -u "$WMII_DIR" 2>>/dev/null + 9umount "$WMII_DIR" echo " -> rmdir'ing WMII_DIR=$WMII_DIR..." rmdir "$WMII_DIR" exit;; |