installs fail going through corporate proxy

[abarsode]

I am behind a corporate proxy running on OSX El Capitan and elm v 0.17.1. When I execute any statement in repl i get the following errors : Error: The following HTTP request failed. http://package.elm-lang.org/all-packages?elm-package-version=0.17.1&since=2016-07-15%2012%3A48%3A01.853893%20UTC

FailedConnectionException "package.elm-lang.org" 80

I have http_proxy and https_proxy set and git, npm, curl and wget work as expected. Is this more of Corporate proxy issue or an elm problem ?

[process-bot]

Thanks for the issue! Make sure it satisfies this checklist. My human colleagues will appreciate it!

Here is what to expect next, and if anyone wants to comment, keep these things in mind.

[perplexedfingers]

Same problem here. elm v0.17.1 on Windows 10 pro.

> elm package install elm-lang/html -y
Error: The following HTTP request failed.
<https://github.com/elm-lang/core/zipball/4.0.5/>

TlsExceptionHostPort (HandshakeFailed (Error_Protocol ("certificate rejected: [NameMismatch \"github.com\"]",True,CertificateUnknown))) "github.com" 443

I have proxy set in the environment variable.

It works fine without the corporation network and proxy.

[lemol]

export HTTPS_PROXY works for me.

[abhigogna]

This is not working for me either. I am learning elm and behind corporate proxy. http_proxy and https_proxy is set and works with homebrew and other external service. However, whenever I try to import file in elm-repl, which in turn, tries to download dependencies from github, I get the error message:

Error: The following HTTP request failed.
<https://github.com/elm-lang/core/zipball/5.1.1/>

ProxyConnectException "github.com" 443 (Right (StatusCodeException (Status {statusCode = 403, statusMessage = "Forbidden"}) [] (CJ {expose = []})))

I have installed elm v0.18.

[geekyme]

Having the same issue here, hoping for some resolution. Had to manually download .zip files from the elm package release pages.

[osullivj]

I just made this work in my current corporate environment. I got the proxy config URL from IE settings, downloaded the .pac file in Chrome. Proxy URL was in the PAC. Then I could set http_proxy=http://:@: in a DOS box. elm-make then started working.