Re: guix pull behind proxy not working

2019-08-16 Thread Jorge P . de Morais Neto
Em 2019-08-15T21:20:27+0200, Marius Bakke escreveu: > I think you also need these variables in the environment that invokes > the 'guix' command. Does it work if you export these variables before > running guix, in addition to having them in the daemon environment? I think that makes no

Re: guix pull behind proxy not working

2019-08-15 Thread Marius Bakke
Jorge P. de Morais Neto writes: > Em 2019-07-04T11:05:35+0200, mar...@famic.de escreveu: > >> However, calling `guix pull` and `guix system reconfigure` still fails >> due to unreachable network. Does it need different proxy settings? >> What can I do? > > I have the same problem on a Debian

Re: guix pull behind proxy not working

2019-08-15 Thread Jorge P . de Morais Neto
Em 2019-07-04T11:05:35+0200, mar...@famic.de escreveu: > However, calling `guix pull` and `guix system reconfigure` still fails > due to unreachable network. Does it need different proxy settings? > What can I do? I have the same problem on a Debian buster foreign distro. I have configured the

Re: guix pull behind proxy not working

2019-07-04 Thread martin
> Could you try "https" instead of "http"? That is "https://ipaddress:por > t". Because,based on this report (https://issues.guix.gnu.org/issue/228 > 83), I think "guix pull" uses https by default now. My proxy uses the same definition entry "http://…; for all the environment variables

Re: guix pull behind proxy not working

2019-07-04 Thread Raghav Gururajan
> > (define %my-services > (modify-services %desktop-services > (guix-service-type config => >(guix-configuration > (inherit config) > (http-proxy "http://:;") > Could you try "https"

Re: guix pull behind proxy not working

2019-07-04 Thread znavko
If you want any idea, I use freevpn.me and vpnbook.com accounts with 'openvpn' package. All guix commands download normally. And in terminal I have vpn ip (for freevpn.me): $ curl ifconfig.io 51.15.151.165 But really I am not sure which is my ip when guix downloads. July 4, 2019 12:53 PM,

guix pull behind proxy not working

2019-07-04 Thread martin
Hi there! This is my first contact with Guix System and I managed to install it as Virtualbox guest system behind a corporate proxy. Well, this was already quite a challenge and succeeded only due the workaround (https://guix-devel.gnu.narkive.com/k3oBoFqW/changing-http-proxy-settings-in-guixsd),