diff options
| author | Roy Marples <roy@marples.name> | 2007-10-05 13:37:57 +0000 |
|---|---|---|
| committer | Roy Marples <roy@marples.name> | 2007-10-05 13:37:57 +0000 |
| commit | 93684b646e107bba71a286b2a7b14c22c50b4bfd (patch) | |
| tree | 5b7c38202d38f629a34c6d2b16c0e6b888a46eef /init.d/localmount | |
| parent | 2691f95a3a2ae4b27b3c625f2d79f2a2f6e80ef8 (diff) | |
Don't umount anything in /sys like we do for /proc and /dev
Diffstat (limited to 'init.d/localmount')
| -rwxr-xr-x | init.d/localmount | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/init.d/localmount b/init.d/localmount index 06a1979f..4b820267 100755 --- a/init.d/localmount +++ b/init.d/localmount @@ -151,8 +151,8 @@ stop() { # Don't unmount anything for VPS systems [ "${RC_SYS}" = "VPS" ] && return 0 - # We never unmount / or /dev or $RC_LIBDIR - local x= no_umounts="/|/dev|${RC_SVCDIR}" + # We never unmount / or /dev or $RC_SVCDIR + local x= no_umounts="/|/dev|/dev/.*|${RC_SVCDIR}" # NO_UMOUNTS is taken from /etc/conf.d/localmount # RC_NO_UMOUNTS is taken from /etc/conf.d/rc and can also be @@ -169,7 +169,7 @@ stop() { fi if [ "${RC_UNAME}" = "Linux" ] ; then - no_umounts="${no_umounts}|/dev/pts|/dev/shm|/proc|/proc/.*|/sys" + no_umounts="${no_umounts}|/proc|/proc/.*|/sys|/sys/.*" fi no_umounts="^(${no_umounts})$" |