dot/profile (__mdw_programp): Use `command -v' rather than `type'.

POSIX specifies the exit status for the former but not the latter.

diff --git a/dot/profile b/dot/profile
index f8d4dc9635431e07180f694a5f6c1d5f36db1e5c..ad6deeb2850ae407b8200d13daedf6b1f291f5bb 100644 (file)
--- a/dot/profile
+++ b/dot/profile
@@ -44,7 +44,7 @@ __mdw_addto () {
 ## __mdw_programp NAME
 ##
 ## Does NAME exist as an executable program?
-__mdw_programp () { type >/dev/null 2>&1 "$1"; }
+__mdw_programp () { command -v "$1" >/dev/null 2>&1; }
 
 ## __mdw_setconf VAR CONF [DEFAULT]
 ##