Merge pull request #74 from gitwatch/is_command_hash

Is command hash
pull/75/head
Dave Musicant 5 years ago committed by GitHub
commit 0d5345ca85
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -120,7 +120,7 @@ cleanup () {
# Tests for the availability of a command
is_command () {
which "$1" &>/dev/null
hash "$1" 2>/dev/null
}
###############################################################################

Loading…
Cancel
Save