# how to make julia install a curl that respects the proxy? 

**URL:** <https://discourse.julialang.org/t/how-to-make-julia-install-a-curl-that-respects-the-proxy/19891>\
**Category:** Julia at Scale\
**Created:** [January 21, 2019, 6:35pm UTC](https://discourse.julialang.org/t/how-to-make-julia-install-a-curl-that-respects-the-proxy/19891 "2019-01-21T18:35:13Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![frankwillmore](https://avatars.discourse-cdn.com/v4/letter/f/4bbf92/32.png) [@frankwillmore](https://discourse.julialang.org/u/frankwillmore)\
**Post date:** [January 21, 2019, 6:35pm UTC](https://discourse.julialang.org/t/how-to-make-julia-install-a-curl-that-respects-the-proxy/19891/1 "2019-01-21T18:35:13Z")

</div>

I’m building Julia 1.0.3 (and probably 0.7.0) for deployment on a KNL cluster which sits behind a proxy. Cross-compilation succeeds and julia repl runs, as long as there is no need to load dependencies (e.g. MPI) at run-time. We are able to run git and curl from command line on these systems, but julia appears to be installing it’s own versions of these, and they are unable to navigate the proxy; support is explicitly disabled in curl. The error returned in the repl is:

```julia
(v1.0) pkg> add MPI
   Cloning default registries into /home/willmore/.julia/registries
   Cloning registry General from "https://github.com/JuliaRegistries/General.git"
ERROR: failed to clone from https://github.com/JuliaRegistries/General.git, error: GitError(Code:ERROR, Class:Net, curl error: error:140770FC:SSL routines:SSL23_GET_SERVER_HELLO:unknown protocol
)

```

Is there a way to configure julia installation so that it will build a curl which respects the proxy?

---

<div class="post-metadata">

**Author:** ![stevengj](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/stevengj/32/71_2.png) [@stevengj](https://discourse.julialang.org/u/stevengj)\
**Post date:** [January 21, 2019, 10:58pm UTC](https://discourse.julialang.org/t/how-to-make-julia-install-a-curl-that-respects-the-proxy/19891/2 "2019-01-21T22:58:36Z")

</div>

Installing a package here is not using `curl`, it is using `git clone`. To tell `git` to use a proxy, you need to update your `.gitconfig` settings as described e.g. [here](https://gist.github.com/evantoli/f8c23a37eb3558ab8765) or [here](https://stackoverflow.com/questions/783811/getting-git-to-work-with-a-proxy-server).

---

<div class="post-metadata">

**Author:** ![frankwillmore](https://avatars.discourse-cdn.com/v4/letter/f/4bbf92/32.png) [@frankwillmore](https://discourse.julialang.org/u/frankwillmore)\
**Post date:** [January 21, 2019, 11:46pm UTC](https://discourse.julialang.org/t/how-to-make-julia-install-a-curl-that-respects-the-proxy/19891/3 "2019-01-21T23:46:26Z")

</div>

A-ha!

Git was able to recognize and use HTTPS\_PROXY environment variable when running from command line, but needed this info set in .gitconfig when invoked by the repl.

```julia
[https]
	proxy = https://proxy:3128

```

That fixed it, thank you for your kind assist.
