diff options
Diffstat (limited to 'git-debpush')
-rwxr-xr-x | git-debpush | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/git-debpush b/git-debpush index c3b067d..2790560 100755 --- a/git-debpush +++ b/git-debpush @@ -59,8 +59,10 @@ badusage () { get_file_from_ref () { local path=$1 + # redirect to /dev/null instead of using `grep -Eq` to avoid grep + # SIGPIPEing git-ls-tree if git ls-tree --name-only -r "$branch" \ - | grep -Eq "^$path$"; then + | grep -E "^$path$" >/dev/null; then git cat-file blob $branch:$path fi } |