diff options
author | Roy Marples <roy@marples.name> | 2007-10-09 15:33:05 +0000 |
---|---|---|
committer | Roy Marples <roy@marples.name> | 2007-10-09 15:33:05 +0000 |
commit | dc0ba7ebf3109b2bbdd73c5f0a411ba6129c2daf (patch) | |
tree | 2786be756e7ab35af0802eeea2f79820b2f4e7ff /sh/rc-mount.sh | |
parent | e89805e0c06792c58c19e47f99ab6379d69a2149 (diff) |
netmount, localmount, halt.sh and net scripts now check OS specific flags to see if a mount is network mounted (linux = fstab, *bsd = "local" in mount options) or not, #192772.
Diffstat (limited to 'sh/rc-mount.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 94de3b65..08839c3e 100644 --- a/sh/rc-mount.sh +++ b/sh/rc-mount.sh @@ -12,8 +12,8 @@ do_unmount() { f_kill="-" fi - mountinfo ${2:+--skip-point-regex} $2 ${3:+--node-regex} $3 ${4:+--fstype-regex} $4 ${5:+--skip-fstype-regex} $5 | \ - while read mnt; do + shift + mountinfo "$@" | while read mnt; do case "${cmd}" in umount*) # If we're using the mount (probably /usr) then don't unmount us |