From: Junio C Hamano Date: Sat, 08 Nov 2008 20:38:10 GMT Subject: Re: Init on push Message-ID: <7v3ai2c5sd.fsf@gitster.siamese.dyndns.org> In-Reply-To: <200811082108.34535.fg@one2team.com> Francis Galiegue writes: > Le Saturday 08 November 2008 21:06:01 Jakub Narebski, vous avez écrit : >> Junio C Hamano wrote: >> > - Teach "-D $there" option to "git init", which does an "mkdir -p $it && >> > chdird $it" before it does its work. >> >> Shouldn't it be "-C $there" (like make and tar)? > > I agree with that. It's pretty much a standard for quite a few "command line > people", insofar as I always look for such an option in case I want to know > whether a command has the ability to chdir() to a different directory than > the current one :p In this particular case, it is not "chdir() before starting" but "mkdir and then chdir() into it". Using -C would be counterproductive.