diff options
author | William Hubbs <w.d.hubbs@gmail.com> | 2013-12-01 19:25:01 -0600 |
---|---|---|
committer | William Hubbs <w.d.hubbs@gmail.com> | 2013-12-02 02:08:40 -0600 |
commit | 60d288a877a3671ea5b3483ed7c4612ec897b99a (patch) | |
tree | f370853f0a2f70b1c7491e7107d21ec457a1704e /sh/rc-mount.sh | |
parent | 1fccf91df12c3c7f7e68f9fa9a99a71e85d9b98e (diff) |
remove type command
The posix equivalent of the type command is "command -v", so now we use
that. Thanks to Jonathan Callen <jcallen@gentoo.org> for informing me
wrt the fix.
Diffstat (limited to 'sh/rc-mount.sh')
-rw-r--r-- | sh/rc-mount.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sh/rc-mount.sh b/sh/rc-mount.sh index 454f9f92..cd5d0f78 100644 --- a/sh/rc-mount.sh +++ b/sh/rc-mount.sh @@ -40,7 +40,7 @@ do_unmount() retry=4 # Effectively TERM, sleep 1, TERM, sleep 1, KILL, sleep 1 while ! LC_ALL=C $cmd "$mnt" 2>/dev/null; do - if type fuser >/dev/null 2>&1; then + if command -v fuser >/dev/null 2>&1; then pids="$(timeout -k 10 -s KILL "${rc_fuser_timeout:-60}" \ fuser $f_opts "$mnt" 2>/dev/null)" fi |