2011/3/4 Miles Bader <miles@xxxxxxx>: > Junio C Hamano <gitster@xxxxxxxxx> writes: >>> Instead of creating the repository at $GIT_DIR, --real-git-dir will >>> tell git to put the repository there, then make $GIT_DIR a .git file >>> that points to --real-git-dir. >> >> Just like you, I am also bad at naming things, so I cannot offhand suggest >> a better name, even though I _know_ --real-git-dir sounds horrible. > > --separate-git-dir Â? > > [Terms like "separate source dir" and "separate build dir" seems to be > common when talking about build systems, and it seems a somewhat > similar situation -- separation of usually co-located information.] Sounds good. -- 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