Re: use GIT_DIR instead of /var/tmp
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Jan 6, 2006, 10:00 UTC
- Message-ID
- <Pine.LNX.4.63.0601061057470.19735@wbgn013.biozentrum.uni-wuerzburg.de>
- In-Reply-To
- <20060106093213.GA4268@steel.home>
Hi,
On Fri, 6 Jan 2006, Alex Riesen wrote:
Show 5 quoted lines
> Jon Nelson, Thu, Jan 05, 2006 17:49:36 +0100: > > Do you still need write access to $GIT_DIR if $GIT_INDEX_FILE is set to > > some place outside of $GIT_DIR? > > yes, $GIT_DIR/refs/heads/ref-pointed-by-HEAD is updated by git-reset.
In a strict sense, this means write access to $GIT_DIR/refs/heads/. In a shared setup, I have repositories where all developers are allowed to write to that folder, but only the repo maintainer (yours truly) is allowed to write to $GIT_DIR (which effectively means: nobody can write an index).
Maybe the safe method would be to introduce $GIT_TMP_DIR, with "/tmp/" being the default?
Ciao, Dscho