Roovo, Sorry for the late response. I have verified github connection for other repositories. I can git clone. I can even do wget on the http://github.com/elm-lang/core/zipball/5.1.1/ but I can't get it to work with elm-repl.
After some rudimentary research, I found out that elm uses http-client. I cabal updated that library but still can't connect. I get the same error message as mentioned in the previous post. On Friday, February 24, 2017 at 3:22:32 AM UTC-5, roovo wrote: > > what are you typing to get that error - I'm currently behind a corporate > proxy and can run elm repl fine. It even runs if I unset the proxy env > variables in the terminal session. Is it that it isn't installed properly? > It looks like your proxy doesn't let you access github via https?? > although why elm repl would try and do this when you start it up I don't > know... > > My set-up is on a mac - and I'm using the asdf package manager to install > elm.... > > On Thursday, February 23, 2017 at 1:09:54 PM UTC, Abhinav Gogna wrote: >> >> Can anyone help me out? I am willing to make it work (almost) whatever it >> takes. >> >> On Wednesday, February 22, 2017 at 6:15:11 PM UTC-5, Abhinav Gogna wrote: >>> >>> I can't get elm-repl to work behind proxy. I have set http_proxy and >>> https_proxy but to no avail. >>> >>> I would like to learn elm and use it at work but without proxy support, >>> I can go forward. Would really appreciate, if someone, can help get this >>> working behind proxy. >>> >>> Currently, the error I am getting is >>> >>> 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 = >>> []}))) >>> >>> >>> >>> On Saturday, January 16, 2016 at 1:09:15 AM UTC-5, Alex Neslusan wrote: >>>> >>>> Yes. It works for me at work behind my authenticated corporate proxy. I >>>> don't remember having to do anything to get it working, it just worked >>>> when >>>> I set it as a system proxy. >>>> On Saturday, January 16, 2016 at 12:50:19 AM UTC+8, Ronn Ross wrote: >>>>> >>>>> Has anyone used Elm's package manager from behind a proxy? Any advice >>>>> to get it working? >>>>> >>>> -- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
