Commit b7c872f5 authored by nimrod's avatar nimrod
Browse files

Don't fail if grepping git ls-files doesn't find anything.

parent 8de0d145

Documents/bin/git-search

+1 −1
Original line number Diff line number Diff line 
#!/bin/sh

set -eu

set -u



{ git ls-files | grep "$@"; git grep --files-with-matches "$@"; } | sort -u