diff options
Diffstat (limited to 'sh/rc-mount.sh')
| -rw-r--r-- | sh/rc-mount.sh | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/sh/rc-mount.sh b/sh/rc-mount.sh index 17ef9b5f..94de3b65 100644 --- a/sh/rc-mount.sh +++ b/sh/rc-mount.sh @@ -12,10 +12,8 @@ do_unmount() { f_kill="-" fi - local mnts="$(mountinfo ${2:+--skip-point-regex} $2 ${3:+--node-regex} $3 ${4:+--fstype-regex} $4 ${5:+--skip-fstype-regex} $5 \ - | sed -e "s/'/'\\\\''/g" -e "s/^/'/g" -e "s/$/'/g")" - eval set -- ${mnts} - for mnt in "$@" ; do + mountinfo ${2:+--skip-point-regex} $2 ${3:+--node-regex} $3 ${4:+--fstype-regex} $4 ${5:+--skip-fstype-regex} $5 | \ + while read mnt; do case "${cmd}" in umount*) # If we're using the mount (probably /usr) then don't unmount us |