use default proxy credentials when downloading via powershell

(cherry picked from commit d495fed46606ff29685135bc63bffb5f7cc6d463) (cherry picked from commit 714b2c3)
JuliaLang · Sep 8, 2018 · 4137472 · 4137472
1 parent 8f816db
commit 4137472
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/stdlib/Pkg/src/PlatformEngines.jl b/stdlib/Pkg/src/PlatformEngines.jl
@@ -199,6 +199,8 @@ function probe_platform_engines!(;verbose::Bool = false)
                 [System.Net.ServicePointManager]::SecurityProtocol =
                     [System.Net.SecurityProtocolType]::Tls12;
                 \$webclient = (New-Object System.Net.Webclient);
+                \$webclient.UseDefaultCredentials = \$true;
+                \$webclient.Proxy.Credentials = \$webclient.Credentials;
                 \$webclient.Headers.Add("user-agent", \"Pkg.jl (https://github.com/JuliaLang/Pkg.jl)\");
                 \$webclient.DownloadFile(\"$url\", \"$path\")
                 """