From: Johannes Schindelin Date: Mon, 04 Feb 2008 14:36:27 GMT Subject: Re: [PATCH] Add platform-independent .git "symlink" Message-ID: In-Reply-To: <8c5c35580802040359v1a5d8c42xfbc592245a8917c2@mail.gmail.com> Hi, On Mon, 4 Feb 2008, Lars Hjemli wrote: > On Feb 4, 2008 1:24 AM, Johannes Schindelin wrote: > > On Sun, 3 Feb 2008, Junio C Hamano wrote: > > > For now I haven't picked up any of the "how about this way" > > > revisions. > > > > Yeah, I think all my comments have been addressed... Lars, care to > > send a new version? > > Sure, but we should come to a conclusion on "GITDIR" vs. "GIT_DIR" vs. > "gitdir" vs. "directory" vs. "ref". The reason I used "GITDIR" was to > keep the door open for additional parameters in the "gitfile" (but it > should obviously have been "GIT_DIR" for that usage since its value is > used to specify $GIT_DIR). If it's more likely that we'll use this as a > general substitute for symlinks, I think "ref" is better due to the > existing symbolic refs. > > My preference would be "GIT_DIR" (or "git_dir") since we also might want > the "WORKDIR_HASH" Shawn mentioned. FWIW I like "gitdir" or "git-dir" best. Ciao, Dscho