diff options
author | Gerardo Exequiel Pozzi <vmlinuz386@yahoo.com.ar> | 2010-07-04 17:16:35 -0300 |
---|---|---|
committer | Tom Gundersen <teg@jklm.no> | 2011-04-23 16:55:31 +0200 |
commit | 9ce42645e7568a08e31ea1b2eab4edef0487828c (patch) | |
tree | 459da1eacecd55b71562b08ad4a038ad89e29720 /rc.shutdown | |
parent | 4d5148242a90f5cb768a1b88234447acd289c3ca (diff) |
umount tmpfs on shutdown if devtmpfs is used
This fixes FS#19783.
[tomegun:
some adjustments:
- always umount ramfs as we never mount /dev as ramfs; and
- don't umount /dev/pts as it might still be useful.]
Signed-off-by: Gerardo Exequiel Pozzi <vmlinuz386@yahoo.com.ar>
Signed-off-by: Tom Gundersen <teg@jklm.no>
Diffstat (limited to 'rc.shutdown')
-rwxr-xr-x | rc.shutdown | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/rc.shutdown b/rc.shutdown index 106c3df..f847ddf 100755 --- a/rc.shutdown +++ b/rc.shutdown @@ -54,7 +54,11 @@ if [[ $USELVM =~ yes|YES && -x /sbin/lvm && -d /sys/block ]]; then fi stat_busy "Unmounting Filesystems" -/bin/umount -a -r -t noramfs,notmpfs,nosysfs,noproc,nodevtmpfs -O no_netdev +if grep -q devtmpfs /proc/filesystems 2>/dev/null; then + /bin/umount -a -r -t nosysfs,noproc,nodevtmpfs,nodevpts -O no_netdev +else + /bin/umount -a -r -t notmpfs,nosysfs,noproc,nodevpts -O no_netdev +fi stat_done # Kill non-root encrypted partition mappings |