diff options
| author | Roy Marples <roy@marples.name> | 2007-10-05 14:15:06 +0000 |
|---|---|---|
| committer | Roy Marples <roy@marples.name> | 2007-10-05 14:15:06 +0000 |
| commit | 9d18c195d7c40fb1027f83edd7dbd1a16f2a9698 (patch) | |
| tree | b8bc2cbf98ecbd1b2a5f6174bf10678fe587f5bc /init.d | |
| parent | 93684b646e107bba71a286b2a7b14c22c50b4bfd (diff) | |
| download | openrc-9d18c195d7c40fb1027f83edd7dbd1a16f2a9698.tar.gz openrc-9d18c195d7c40fb1027f83edd7dbd1a16f2a9698.tar.bz2 openrc-9d18c195d7c40fb1027f83edd7dbd1a16f2a9698.tar.xz | |
Don't unmount stuff in /dev or /sys
Diffstat (limited to 'init.d')
| -rwxr-xr-x | init.d/halt.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/init.d/halt.sh b/init.d/halt.sh index ae36979..f02c133 100755 --- a/init.d/halt.sh +++ b/init.d/halt.sh @@ -72,7 +72,7 @@ if [ "${RC_UNAME}" = "Linux" ] ; then fs="${fs}${fs:+|}${x}" done [ -n "${fs}" ] && fs="^(${fs})$" - do_unmount "mount -n -o remount,ro" "^(/dev|/dev/pts|/dev/shm|/proc|/proc/.*|/sys)$" "" "" "${fs}" + do_unmount "mount -n -o remount,ro" "^(/dev|/dev/.*|/proc|/proc/.*|/sys|/sys/.*)$" "" "" "${fs}" eoutdent eend $? unmounted=$? |