1
0
Fork 0
mirror of https://github.com/notwa/rc synced 2024-05-20 10:53:23 -07:00
rc/sh/have
Connor Olding 444c34f98e rename has to have; has is now silent
i'm not sure why i was overengineering this function so much,
but the code i deleted might still come in handy someday.
2021-10-14 13:58:55 -07:00

15 lines
390 B
Bash

#!/usr/bin/env sh
# YES_ZSH
# YES_BASH
# YES_DASH
# YES_ASH
have() { ### @- print the result of `which` if the program is found, else simply return 1.
### ```
### export SOLVER="$(have kissat || have picosat || have cadical || have minisat)"
### ```
if [ -z "$ZSH_VERSION" ]; then which -- "$1"; else whence -p -- "$1"; fi
} 2>/dev/null
[ -n "${preload+-}" ] || have "$@"