diff options
author | Roy Marples <roy@marples.name> | 2007-05-30 15:24:21 +0000 |
---|---|---|
committer | Roy Marples <roy@marples.name> | 2007-05-30 15:24:21 +0000 |
commit | e81ab8ecf83f877680280827eb049e6e7d88bebb (patch) | |
tree | 393c2341a7079a29451535d35cce915c9e672ebb | |
parent | ece3f4e6663ec0a0ed3f0b4d014b3a0fc925fede (diff) |
Call umount with LC_ALL=C so that we can umount /usr
-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 2084911d..9db2d323 100644 --- a/sh/rc-mount.sh +++ b/sh/rc-mount.sh @@ -8,7 +8,7 @@ do_unmount() { local cmd="$1" retval=0 retry= local f_opts="-m -c" f_kill="-s " mnt= if [ "${RC_UNAME}" = "Linux" ] ; then - f_opts="-c" + f_opts="-m" f_kill="-" fi @@ -34,7 +34,7 @@ do_unmount() { esac retry=3 - while ! ${cmd} "${mnt}" 2>/dev/null ; do + while ! LC_ALL=C ${cmd} "${mnt}" 2>/dev/null ; do # Don't kill if it's us (/ and possibly /usr) local pids="$(fuser ${f_opts} "${mnt}" 2>/dev/null)" case " ${pids} " in |