Re: [PATCH] (Really) Fix install-doc-quick target
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Aug 7, 2007, 14:08 UTC
- Message-ID
- <Pine.LNX.4.64.0708071507410.14781@racer.site>
- In-Reply-To
- <46B879DB.4090504@lsrfire.ath.cx>
Hi,
On Tue, 7 Aug 2007, Ren? Scharfe wrote:
Show 12 quoted lines
> Junio C Hamano schrieb: > > Mark Levedahl <mlevedahl@gmail.com> writes: > > > >> + printf "$mandir/%s\n" $(git ls-tree -r --name-only $head) | xargs > >> gzip -f > > > > No risk that ls-tree output is too long to fit within the exec > > args limit to run printf? > > Perhaps this instead? > > git ls-tree -r --name-only $head | (cd "$mandir" && xargs gzip -f)
I would have done
git ls-tree -r --name-only $head | sed "s|^|$mandir|" | xargs gzip -f
but I like your version better.
Thanks for teaching me, Dscho