diff options
| author | AUTOMATIC1111 <16777216c@gmail.com> | 2024-02-17 08:48:37 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-17 08:48:37 +0300 |
| commit | a56125b0a88fcfccdcc3e3cd9de74ff75c6aad84 (patch) | |
| tree | 3208313956c6f1b076fbb2998c9b522ceefd305f | |
| parent | b7f45e67dcf48914d2f34d4ace977a431a5aa12e (diff) | |
| parent | 18ec22bffea77158777c3a3225e632e25eb33138 (diff) | |
Merge pull request #14930 from RedDeltas/feat/launch_utils/file_mode_for_clone
Added core.filemode=false so doesn't track changes in file permission…
| -rw-r--r-- | modules/launch_utils.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/launch_utils.py b/modules/launch_utils.py index 107c72b0..ad04eb36 100644 --- a/modules/launch_utils.py +++ b/modules/launch_utils.py @@ -188,7 +188,7 @@ def git_clone(url, dir, name, commithash=None): return
try:
- run(f'"{git}" clone "{url}" "{dir}"', f"Cloning {name} into {dir}...", f"Couldn't clone {name}", live=True)
+ run(f'"{git}" clone --config core.filemode=false "{url}" "{dir}"', f"Cloning {name} into {dir}...", f"Couldn't clone {name}", live=True)
except RuntimeError:
shutil.rmtree(dir, ignore_errors=True)
raise
|