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)
POSIX specifies the exit status for the former but not the latter.


No differences found