diff --git a/webui.py b/webui.py index 8707e7f7..f30c59a0 100644 --- a/webui.py +++ b/webui.py @@ -117,7 +117,12 @@ def install_dependencies(): def update_dependencies(initial_installation=False): - # run_cmd("git pull", assert_success=True, environment=True) # TODO uncomment before merging (is there a better way?) + # Create .git directory if missing + if not os.path.isdir(os.path.join(script_dir, ".git")): + git_creation_cmd = 'git init -b main && git remote add origin https://github.com/oobabooga/text-generation-webui && git fetch && git remote set-head origin -a && git reset origin/HEAD && git branch --set-upstream-to=origin/HEAD' + run_cmd(git_creation_cmd, environment=True, assert_success=True) + + run_cmd("git pull", assert_success=True, environment=True) # TODO is there a better way? # Install the extensions dependencies (only on the first install) if initial_installation: