Commit 04522588 authored by nimrod's avatar nimrod
Browse files

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

parent 42510d72
Loading
Loading
Loading
Loading
+1 −1
Changes for Documents/bin/git-search: 1 added line, 1 removed line.
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