Fix ticket #802: .git directory in filesystem root
parent
77f7fa0d80
commit
e86fa7bef0
|
@ -1478,6 +1478,8 @@ class OpengnsysGitLibrary:
|
|||
|
||||
|
||||
repo_url = self._getOgRepository(repo_name)
|
||||
real_git_dir = os.path.join(self.cache_dir, f"git-{repo_name}")
|
||||
|
||||
self.logger.debug(f"URL: {repo_url}")
|
||||
|
||||
all_metadata = self._get_repo_metadata(repo_name)
|
||||
|
@ -1512,7 +1514,7 @@ class OpengnsysGitLibrary:
|
|||
|
||||
self._delete_contents(destination_dir)
|
||||
|
||||
repo = git.Repo.clone_from(repo_url, destination_dir)
|
||||
repo = git.Repo.clone_from(repo_url, destination_dir, multi_options = [f"--separate-git-dir={real_git_dir}"])
|
||||
|
||||
if repo_is_efi:
|
||||
self._efi_install(boot_device, destination_dir)
|
||||
|
|
Loading…
Reference in New Issue