If game directory's name is .minecraft, set APPDATA/HOME to parent directory for compatibility

This commit is contained in:
Fierelier 2021-06-17 13:02:31 +02:00
parent ae4d6a2035
commit b1267ce912

View File

@ -390,6 +390,11 @@ def main():
if not os.path.isdir(launcherVariables["game_directory"]): os.makedirs(launcherVariables["game_directory"])
os.chdir(launcherVariables["game_directory"])
if launcherVariables["game_directory"].replace(pUp(launcherVariables["game_directory"]) + os.sep,"",1) == ".minecraft":
print("> game_directory is called .minecraft, setting APPDATA/HOME environment variables to parent directory.")
os.environ["APPDATA"] = pUp(launcherVariables["game_directory"])
os.environ["HOME"] = os.environ["APPDATA"]
# JVM arguments:
args = []