Prefer ggrep for grep invocations that use GNU extensions.

This commit is contained in:
Adam Harvey 2014-04-18 10:51:26 +10:00
parent fa59fd510c
commit 2e6e100a2e
3 changed files with 3 additions and 3 deletions

View file

@ -43,7 +43,7 @@ potentially_new_packages() {
}
extract_urls() {
grep -hoe 'http[^"]\+#[^"]\+' "$@" | sort | uniq
$(type -p ggrep grep | head -1) -hoe 'http[^"]\+#[^"]\+' "$@" | sort | uniq
}
update() {