chiark / gitweb /
dot/profile (__mdw_programp): Use `command -v' rather than `type'.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 11 Jul 2024 11:22:27 +0000 (12:22 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 11 Jul 2024 11:22:27 +0000 (12:22 +0100)
commit3cff872ac483929fd76e951b05323d8a6fd22e7f
treeffb8b26a30fbbe7438f91306ee13c06d852fe4ee
parent474f69ac88f4f7e13f7b3857e8f5cb2514285bd5
dot/profile (__mdw_programp): Use `command -v' rather than `type'.

POSIX specifies the exit status for the former but not the latter.
dot/profile