diff options
| author | William Hubbs <williamh@gentoo.org> | 2012-05-13 19:00:39 -0500 |
|---|---|---|
| committer | William Hubbs <williamh@gentoo.org> | 2012-05-13 19:00:39 -0500 |
| commit | ee1a698451a01772d50a75e95c887520260f8619 (patch) | |
| tree | 61a099aecb9bf52807bf44e22a913363626d9c78 | |
| parent | 2486eb4989918ff5ef645f2a17fedbec559b9485 (diff) | |
do not umount /usr on linux systems
We can't really umount /usr on linux systems because /usr is a special
case if it is a separate filesystem which is handled by an initramfs.
reported-by: tamiko+GENTOO@kyomu.43-1.org
X-Gentoo-Bug: 415523
X-Gentoo-Bug-URL: https://bugs.gentoo.org/show_bug.cgi?id=415523
| -rw-r--r-- | init.d/localmount.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/init.d/localmount.in b/init.d/localmount.in index de0b08b3..c432a121 100644 --- a/init.d/localmount.in +++ b/init.d/localmount.in @@ -48,7 +48,7 @@ stop() done if [ "$RC_UNAME" = Linux ]; then - no_umounts_r="$no_umounts_r|/proc|/proc/.*|/run|/sys|/sys/.*" + no_umounts_r="$no_umounts_r|/proc|/proc/.*|/run|/sys|/sys/.*|/usr" fi no_umounts_r="^($no_umounts_r)$" |