diff options
author | Sandro Jäckel <sandro.jaeckel@gmail.com> | 2021-09-26 15:41:34 +0200 |
---|---|---|
committer | Sandro Jäckel <sandro.jaeckel@sap.com> | 2021-09-28 15:00:11 +0200 |
commit | 00dc3dcf8bfb3d7806fefa83e1e65d46cd6b5e24 (patch) | |
tree | e5db0033be89f0586cd678878cf597f6eb3b2b22 /pkgs/build-support/fetchgithub | |
parent | b9f8421d48b77f5982008703375a0d8850b30ff8 (diff) | |
download | nixpkgs-00dc3dcf8bfb3d7806fefa83e1e65d46cd6b5e24.tar nixpkgs-00dc3dcf8bfb3d7806fefa83e1e65d46cd6b5e24.tar.gz nixpkgs-00dc3dcf8bfb3d7806fefa83e1e65d46cd6b5e24.tar.bz2 nixpkgs-00dc3dcf8bfb3d7806fefa83e1e65d46cd6b5e24.tar.lz nixpkgs-00dc3dcf8bfb3d7806fefa83e1e65d46cd6b5e24.tar.xz nixpkgs-00dc3dcf8bfb3d7806fefa83e1e65d46cd6b5e24.tar.zst nixpkgs-00dc3dcf8bfb3d7806fefa83e1e65d46cd6b5e24.zip |
fetchFromGitHub: allow forcing fetchGit
Diffstat (limited to 'pkgs/build-support/fetchgithub')
-rw-r--r-- | pkgs/build-support/fetchgithub/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/build-support/fetchgithub/default.nix b/pkgs/build-support/fetchgithub/default.nix index 91ffe4c6d8e..ea95bbb4793 100644 --- a/pkgs/build-support/fetchgithub/default.nix +++ b/pkgs/build-support/fetchgithub/default.nix @@ -2,7 +2,7 @@ { owner, repo, rev, name ? "source" , fetchSubmodules ? false, leaveDotGit ? null -, deepClone ? false, private ? false +, deepClone ? false, private ? false, forceFetchGit ? false , githubBase ? "github.com", varPrefix ? null , ... # For hash agility }@args: @@ -10,7 +10,7 @@ let baseUrl = "https://${githubBase}/${owner}/${repo}"; passthruAttrs = removeAttrs args [ "owner" "repo" "rev" "fetchSubmodules" "private" "githubBase" "varPrefix" ]; varBase = "NIX${if varPrefix == null then "" else "_${varPrefix}"}_GITHUB_PRIVATE_"; - useFetchGit = fetchSubmodules || (leaveDotGit == true) || deepClone; + useFetchGit = fetchSubmodules || (leaveDotGit == true) || deepClone || forceFetchGit; # We prefer fetchzip in cases we don't need submodules as the hash # is more stable in that case. fetcher = if useFetchGit then fetchgit else fetchzip; |