From: Marc Branchaud Date: Tue, 23 Jun 2009 17:09:56 GMT Subject: Re: [PATCH] add --porcelain option to git-push Message-ID: <4A410C64.9030903@xiplink.com> In-Reply-To: <7v4ou79cga.fsf@alter.siamese.dyndns.org> Both good points. --porcelain is fine by me. M. Junio C Hamano wrote: > Marc Branchaud writes: > >> Shouldn't this option be named "--plumbing" since it's making 'git push' >> act like plumbing? Actually, neither name seems intuitively descriptive >> to me... > > Perhaps. But asking for output format designed for Porcelain > implementions to read with --porcelain option has precedence. > >> Why not teach 'git push' to change its output format if it's writing to a pipe? > > That is ugly. Besides, "writing to a pipe" would not be a right criteria, > if you want to do > > git push >log > if grep blah log > then > do blah thing > fi > if grep baa log > then > do baa thing, too > fi > > When you make a program behave differently depending on where your stdout > goes, typically you see if it is going to the terminal (e.g. isatty(3)), > but even then you would need an explicit override from the command line > when stdout is a tty and you do not want "for humans" frills (e.g. color), > and when stdout is not a tty and you do want such frills. > -- > To unsubscribe from this list: send the line "unsubscribe git" in > the body of a message to majordomo@vger.kernel.org > More majordomo info at http://vger.kernel.org/majordomo-info.html