Try harder to find the git repository

This commit is contained in:
Simon Hausmann
2007-03-19 11:57:07 +01:00
parent 825c884092
commit d4fc4499af

View File

@@ -37,6 +37,11 @@ def die(msg):
sys.stderr.write(msg + "\n")
sys.exit(1)
def tryGitDir(path):
if os.path.exists(path + "/HEAD") and os.path.exists(path + "/refs") and os.path.exists(path + "/objects"):
return True;
return False
try:
opts, args = getopt.getopt(sys.argv[1:], "", [ "continue", "git-dir=", "origin=", "reset", "master=",
"submit-log-subst=", "log-substitutions=", "noninteractive",
@@ -86,6 +91,14 @@ if len(gitdir) == 0:
else:
os.environ["GIT_DIR"] = gitdir
if not tryGitDir(gitdir):
if tryGitDir(gitdir + "/.git"):
gitdir += "/.git"
os.environ["GIT_DIR"] = gitdir
else:
die("fatal: %s seems not to be a git repository." % gitdir)
configFile = gitdir + "/p4-git-sync.cfg"
origin = "origin"