Good to hear you solved it! BTW, I don't get anything when trying to
curl nix.org (seems like packets are dropped) -- interesting...

On 09/22/2016 01:20 PM, Sergey Mironov wrote:
> Nikolay, I made more research on the issue. It turns out that I had
> two different problems:
> 1) "Connecting to nix.org (nix.org)|160.153.18.102|:80... failed:" -
> was the misconfigured http_proxy. Setting it correctly makes wget
> work. By nix.org  I mean nixos.org. nix.org is a valid name too, site
> provides some content.
> 2) "FailedConnectionException2 "raw.githubusercontent.com" 443 True
> getProtocolByName: does not exist (no such protocol name: tcp)"
> message is actually produced by `stack` tool (Haskell package
> builder). This problem still exists. I think it is some corner case,
> related to gethostbyname() configuration.
> 
> I will try to contact Stack maintainers.
> Thanks for quick response!
> Sergey

-- 
Nikolay.
_______________________________________________
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

Reply via email to