diff options
author | Johannes Climacus <johannesclimacus@tuta.io> | 2019-05-25T09·06-0400 |
---|---|---|
committer | Johannes Climacus <johannesclimacus@tuta.io> | 2019-05-29T14·08-0400 |
commit | a8251ba2ed9e833ef3e8b20d233064aba74446db (patch) | |
tree | 9df141e570b1e6b7c6b2876923fdf3251aa6cacb /mk/README.md | |
parent | 17ef3e6f411b2cf1fa87593ad84bc2a94a1edd93 (diff) |
Replace `type` with `command -v` in install script
In POSIX sh, `type` is undefined. cf. https://pubs.opengroup.org/onlinepubs/9699919799/utilities/command.html#tag_20_22_04
Diffstat (limited to 'mk/README.md')
0 files changed, 0 insertions, 0 deletions