From 34593c6f86a8f707394da8f937cca1819b7b7cca Mon Sep 17 00:00:00 2001 From: Luke Shumaker Date: Wed, 21 Mar 2018 12:21:39 -0400 Subject: wmii: move (u)mount.9p to util.sh, prefer 9pfuse --- .config/wmii-hg/util.sh | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) (limited to '.config/wmii-hg/util.sh') diff --git a/.config/wmii-hg/util.sh b/.config/wmii-hg/util.sh index 55344b2..f80b871 100644 --- a/.config/wmii-hg/util.sh +++ b/.config/wmii-hg/util.sh @@ -116,3 +116,31 @@ scansection() { conffile() { echo "$HOME/.wmii-hg/$1" } + +################################################################################ +# 9P filesystem # +################################################################################ + +# Prefer 9pfuse since: +# 1. Linux 9p directory listings are broken on i686 +# 2. 9umount doesn't work with recent versions of Linux 9p +if (. /etc/profile.d/plan9.sh || true; type 9pfuse) &>/dev/null; then + . /etc/profile.d/plan9.sh || true + mount.9p() { + 9pfuse "$1" "$2" + while ! [[ -f "$2/event" ]]; do :; done + } + umount.9p() { + fusermount -u "$1" + } +elif type 9mount &>/dev/null; then + mount.9p() { + 9mount -i "$1" "$2" + } + umount.9p() { + 9umount "$1" + } +else + >&2 echo "ERROR: I don't know how to mount 9P filesystems" + exit 5 # EXIT_NOTINSTALLED (LSB) +fi -- cgit v1.2.3