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 elm-discuss+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
