diff options
| author | Luke Shumaker <lukeshu@sbcglobal.net> | 2016-09-14 12:54:57 -0400 |
|---|---|---|
| committer | Luke Shumaker <lukeshu@sbcglobal.net> | 2016-09-14 12:54:57 -0400 |
| commit | f10c72808bbff17f5c123285f9deb93993b4445e (patch) | |
| tree | 5baa5a98dcb2991d7fa74c42cb04ca8042bb5ad6 /.config/wmii-hg | |
| parent | 86d06b4e08602e1d1ae71d629f88440d2779cfbc (diff) | |
| parent | a455a332886d705dc2fb579d1791e69befb29587 (diff) | |
Merge branch 'master' into gluglugt60-par/master
Diffstat (limited to '.config/wmii-hg')
| -rw-r--r-- | .config/wmii-hg/config.sh | 22 |
1 files changed, 19 insertions, 3 deletions
diff --git a/.config/wmii-hg/config.sh b/.config/wmii-hg/config.sh index fa16269..1b48cc4 100644 --- a/.config/wmii-hg/config.sh +++ b/.config/wmii-hg/config.sh @@ -12,6 +12,23 @@ mkdir -p -- "${HIST%/*}" # Colors tuples: "<text> <background> <border>" . theme-tango-dark +if [[ "$(uname -m)" = i686 ]]; then + mount.9p() { + 9pfuse "$1" "$2" + while ! [[ -f "$2/event" ]]; do :; done + } + umount.9p() { + fusermount -u "$1" + } +else + mount.9p() { + 9mount -i "$1" "$2" + } + umount.9p() { + 9umount "$1" + } +fi + Event() { local event=$1; shift; case "$event" in @@ -59,12 +76,11 @@ Event() { echo " -> Creating mountpoint WMII_DIR=$WMII_DIR..." mkdir -p "$WMII_DIR" echo " -> Mounting WMII_DIR=$WMII_DIR..." - 9pfuse "$WMII_ADDRESS" "$WMII_DIR" - while ! [[ -f "$WMII_DIR/event" ]]; do :; done + mount.9p "$WMII_ADDRESS" "$WMII_DIR" ;; WmiircUnmount) ## No args echo " -> Unmounting WMII_DIR=$WMII_DIR..." - fusermount -u "$WMII_DIR" + umount.9p "$WMII_DIR" echo " -> Removing mountpoint WMII_DIR=$WMII_DIR..." rmdir -p "$WMII_DIR" 2>/dev/null;; ## WMII-meta events |