Am 23.02.2010 09:30, schrieb Giuseppe Bilotta: > diff --git a/git-sh-setup.sh b/git-sh-setup.sh > index 7a09566..f1be832 100644 > --- a/git-sh-setup.sh > +++ b/git-sh-setup.sh > @@ -172,6 +172,21 @@ get_author_ident_from_commit () { > LANG=C LC_ALL=C sed -ne "$pick_author_script" > } > > +# Clear repo-local GIT_* environment variables. Useful when switching to > +# another repository (e.g. when entering a submodule). See also the env > +# list in git_connect() > +clear_local_git_env() { > + unset GIT_ALTERNATE_OBJECT_DIRECTORIES \ > + GIT_CONFIG \ > + GIT_DIR \ > + GIT_GRAFT_FILE \ > + GIT_INDEX_FILE \ > + GIT_NO_REPLACE_OBJECTS \ > + GIT_OBJECT_DIRECTORY \ > + GIT_WORKTREE Shouldn't that last one be GIT_WORK_TREE? > + > +} > + > # Make sure we are in a valid repository of a vintage we understand, > # if we require to be in a git repository. > if test -z "$NONGIT_OK" -- 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