To avoid skipping early tmpfs mounts:
--- umountfs 2008-04-01 21:05:35.000000000 +0100 +++ umountfs.new 2008-04-01 21:13:16.000000000 +0100 @@ -66,7 +66,9 @@ TMPFS_MTPTS="" while read DEV MTPT FSTYPE REST do - echo "$PROTECTED_MOUNTS" | grep -qs "^$DEV $MTPT " && continue + if "$PROTECTED_MOUNTS" | grep -qs "^$DEV $MTPT "; then + [ "$FSTYPE" != tmpfs ] && continue + fi case "$MTPT" in /|/proc|/dev|/.dev|/dev/pts|/dev/shm|/proc/*|/sys|/var/run|/var/lock) continue
To avoid skipping early tmpfs mounts:
--- umountfs 2008-04-01 21:05:35.000000000 +0100 proc|/dev| /.dev|/ dev/pts| /dev/shm| /proc/* |/sys|/ var/run| /var/lock)
+++ umountfs.new 2008-04-01 21:13:16.000000000 +0100
@@ -66,7 +66,9 @@
TMPFS_MTPTS=""
while read DEV MTPT FSTYPE REST
do
- echo "$PROTECTED_MOUNTS" | grep -qs "^$DEV $MTPT " && continue
+ if "$PROTECTED_MOUNTS" | grep -qs "^$DEV $MTPT "; then
+ [ "$FSTYPE" != tmpfs ] && continue
+ fi
case "$MTPT" in
/|/
continue