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 [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
