diff options
author | Doron Behar <doron.behar@gmail.com> | 2024-03-21 19:30:03 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-03-21 19:30:03 +0200 |
commit | c2684b4d2d650dce7923a7e5d44ad7b8fa44aefd (patch) | |
tree | ac8078f2de5b297386030237d53cf695416bc1bd | |
parent | 13a8da967119594974797df76e0fbf43194303b1 (diff) | |
parent | 1ed37ac9f37e0e16bd2c9a9fc0556308c41da318 (diff) |
Merge pull request #295240 from linsui/gitproxy
fetchgit: set http.proxy globally for submodules
-rwxr-xr-x | pkgs/build-support/fetchgit/nix-prefetch-git | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/build-support/fetchgit/nix-prefetch-git b/pkgs/build-support/fetchgit/nix-prefetch-git index a3ea0297673da..7ac3dec91f7f4 100755 --- a/pkgs/build-support/fetchgit/nix-prefetch-git +++ b/pkgs/build-support/fetchgit/nix-prefetch-git @@ -120,7 +120,7 @@ init_remote(){ git config remote.origin.partialclonefilter "blob:none" echo "$sparseCheckout" | git sparse-checkout set --stdin ${nonConeMode:+--no-cone} fi - ( [ -n "$http_proxy" ] && clean_git config http.proxy "$http_proxy" ) || true + ( [ -n "$http_proxy" ] && clean_git config --global http.proxy "$http_proxy" ) || true } # Return the reference of an hash if it exists on the remote repository. |