Re: [PATCH] Export GIT_DIR after setting it
- From
Björn Steinbrink <b.steinbrink@gmx.de>
- Date
- May 15, 2008, 18:44 UTC
- Message-ID
- <20080515184423.GA13535@atjola.homenet>
- In-Reply-To
- <20080515182806.GA14799@lapse.madduck.net>
On 2008.05.15 19:28:06 +0100, martin f. krafft wrote:
Show 10 quoted lines
> also sprach Björn Steinbrink <B.Steinbrink@gmx.de> [2008.05.15.1855 +0100]: > > It kind of feels like a bug that git-pull does not export GIT_DIR there, > > but you could probably also argue that it is wrong not to have GIT_DIR > > set in the environment when using a non-standard name for the git dir. > > Hm? > > Ah, but it is a standard name: . > > If git does not find .git, it *does* seem to look into the current > directory too; that's why commands work inside bare repos...
Yeah, but this is not a bare repo. As far as I understood Junio, it is at least an error to use GIT_DIR without GIT_WORK_TREE (or core.worktree), so I'm just thinking that it may also be an error to use GIT_WORK_TREE (or core.worktree) without GIT_DIR.
Björn