Re: [BUG] "echo HEAD | git cat-file --batch=''" fails catastrophically

2013-12-11 Thread Jeff King
On Tue, Dec 10, 2013 at 11:37:14PM -0500, Samuel Bronson wrote: > % echo HEAD | git cat-file --batch= > > fatal: object fde075cb72fc0773d8e8ca93d55a35d77bb6688b changed type!? > > Without the =, it works fine; with a string that has both > "%(objecttype)" and "%(objectsize)", it's fine; but when

[BUG] "echo HEAD | git cat-file --batch=''" fails catastrophically

2013-12-10 Thread Samuel Bronson
Observe: % echo HEAD | git cat-file --batch= fatal: object fde075cb72fc0773d8e8ca93d55a35d77bb6688b changed type!? Without the =, it works fine; with a string that has both "%(objecttype)" and "%(objectsize)", it's fine; but when you don't include both, it complains about one of the values that