diff options
Diffstat (limited to 'filesystems/avfs/files/patch-scripts_mountavfs')
| -rw-r--r-- | filesystems/avfs/files/patch-scripts_mountavfs | 11 |
1 files changed, 11 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 |