On Fri, Oct 22, 2010 at 12:00 PM, Enrico Weigelt <weigelt@xxxxxxxx> wrote: > * Nguyen Thai Ngoc Duy <pclouds@xxxxxxxxx> wrote: >> On Fri, Oct 22, 2010 at 1:51 AM, Enrico Weigelt <weigelt@xxxxxxxx> wrote: >> >> Also the "relative to $GIT_DIR" may be confusing. If $GIT_DIR points >> >> to a file that points to a true repo, then to which one it is >> >> relative? >> > >> > Despite the fact that I doubt the usefulness of an .git file at >> > all, it IMHO should be interpreted as an kind of userland symlink. >> >> I do find .git file useful. I put my worktree in a server where it can >> be wiped out completely. So I don't want to put my .git there. .git >> file can be used this case so I don't have to set >> GIT_DIR/GIT_WORK_TREE every time and my .git is safe elsewhere. > > Why not using a symlink here ? Paranoia. A fault in Makefile's clean rule may make deletion follow symlinks. Also symlinks are not available everywhere. -- Duy -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html