Make grep detection more robust (#1663)

This commit is contained in:
Ryan Williams 2020-07-22 09:07:18 -04:00 committed by GitHub
parent 26b8ba1677
commit af122400ed
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -59,7 +59,7 @@ usage() {
definitions() { definitions() {
local query="$1" local query="$1"
python-build --definitions | $(type -p ggrep grep | head -1) -F "$query" || true python-build --definitions | $(type -ap ggrep grep | head -1) -F "$query" || true
} }
indent() { indent() {