diff options
author | Roy Marples <roy@marples.name> | 2008-11-04 11:30:15 +0000 |
---|---|---|
committer | Roy Marples <roy@marples.name> | 2008-11-04 11:30:15 +0000 |
commit | 42e6a95b1d691b2fcdb49cd57f8ae94acbe27a2c (patch) | |
tree | 19727d3a3b7aef12d0ea23ead1f20d3652d9574d /sh | |
parent | 45044c9239ef5eb06a3cc9e5110131cd0d8210ef (diff) |
Move romount to mount-ro and use the umount -r option as it's more reliable for / --bind mounts, Gentoo #239922. Thanks to Duncan.
Diffstat (limited to 'sh')
-rw-r--r-- | sh/rc-mount.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sh/rc-mount.sh b/sh/rc-mount.sh index 135f2f5c..154fe802 100644 --- a/sh/rc-mount.sh +++ b/sh/rc-mount.sh @@ -28,11 +28,11 @@ do_unmount() mountinfo --quiet "${mnt}" || continue case "${cmd}" in - umount*) + umount) ebegin "Unmounting ${mnt}" ;; *) - ebegin "Remounting ${mnt}" + ebegin "Remounting ${mnt} read only" ;; esac |