diff options
author | Roy Marples <roy@marples.name> | 2007-09-21 08:54:36 +0000 |
---|---|---|
committer | Roy Marples <roy@marples.name> | 2007-09-21 08:54:36 +0000 |
commit | faa555efe24bd77f751c65c76596034ad7d2fe90 (patch) | |
tree | 86bbcbd2f5d2d3ac3ddc1d2c0a857833725b2c4b | |
parent | 45bd125dccdc7aef32af99cc6624a74dd2e24371 (diff) |
No need for this convulted sed now our prefixed output is on a direct terminal again :)
-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 |