diff options
Diffstat (limited to 'filesystems/avfs/files')
-rw-r--r-- | filesystems/avfs/files/patch-scripts_mountavfs | 11 | ||||
-rw-r--r-- | filesystems/avfs/files/patch-scripts_umountavfs | 16 |
2 files changed, 27 insertions, 0 deletions
diff --git a/filesystems/avfs/files/patch-scripts_mountavfs b/filesystems/avfs/files/patch-scripts_mountavfs new file mode 100644 index 000000000000..1042b3533c9e --- /dev/null +++ b/filesystems/avfs/files/patch-scripts_mountavfs @@ -0,0 +1,11 @@ +--- scripts/mountavfs.orig 2016-09-16 18:43:19 UTC ++++ scripts/mountavfs +@@ -14,7 +14,7 @@ else + MntDir=${HOME}/.avfs + fi + +-grep -qE "avfsd ${MntDir}" /proc/mounts || { ++mount -p | grep -qE "${MntDir}.*fusefs" || { + if [ ! -e "$MntDir" ]; then + mkdir -p "$MntDir" + fi diff --git a/filesystems/avfs/files/patch-scripts_umountavfs b/filesystems/avfs/files/patch-scripts_umountavfs new file mode 100644 index 000000000000..e93c9c659029 --- /dev/null +++ b/filesystems/avfs/files/patch-scripts_umountavfs @@ -0,0 +1,16 @@ +--- scripts/umountavfs.orig 2016-09-16 18:43:19 UTC ++++ scripts/umountavfs +@@ -14,11 +14,11 @@ else + MntDir="${HOME}/.avfs" + fi + +-grep -qE "${MntDir}.*avfsd" /proc/mounts && { ++mount -p | grep -qE "${MntDir}.*fusefs" && { + echo unMounting AVFS on $MntDir... + if type -p fusermount > /dev/null 2>&1 ; then + fusermount -u -z "$MntDir" + else +- umount -l "$MntDir" ++ umount "$MntDir" + fi + } |