Re: Changing HTTP proxy settings in GuixSD

2017-11-16 Thread Konrad Hinsen
Hi Ludo, > I’ll update the ‘guix’ package soon so that this change is available to > daemon-side code such as ‘guix substitute’. In the meantime you can run > the daemon from a checkout: > > sudo -E ./pre-inst-env guix-daemon … That works fine - thanks! Konrad.

Re: Changing HTTP proxy settings in GuixSD

2017-11-11 Thread Ludovic Courtès
Mark H Weaver skribis: > l...@gnu.org (Ludovic Courtès) writes: >> It turned out to come from a typo in Guile 2.2’s web client, now fixed >> here: >> >> >> https://git.savannah.gnu.org/cgit/guile.git/commit/?h=stable-2.2&id=7d0d9e2c25c1e872cfc7d14ab5139915f1813d56 > > [...] > >> diff --git a/m

Re: Changing HTTP proxy settings in GuixSD

2017-11-11 Thread Mark H Weaver
Hi, l...@gnu.org (Ludovic Courtès) writes: > It turned out to come from a typo in Guile 2.2’s web client, now fixed > here: > > > https://git.savannah.gnu.org/cgit/guile.git/commit/?h=stable-2.2&id=7d0d9e2c25c1e872cfc7d14ab5139915f1813d56 [...] > diff --git a/module/web/http.scm b/module/web/

Re: Changing HTTP proxy settings in GuixSD

2017-11-10 Thread ng0
Ludovic Courtès transcribed 1.4K bytes: > Hi Konrad, > > Konrad Hinsen skribis: > > >> That error looks suspicious. Perhaps you already know this, but it > >> probably means that the string "mirror.hydra.gnu.org" wound up being > >> used where a procedure should probably have been used instead.

Re: Changing HTTP proxy settings in GuixSD

2017-11-10 Thread Ludovic Courtès
Hi Konrad, Konrad Hinsen skribis: >> That error looks suspicious. Perhaps you already know this, but it >> probably means that the string "mirror.hydra.gnu.org" wound up being >> used where a procedure should probably have been used instead. For >> example, in your Guile REPL, you can reproduc

Re: Changing HTTP proxy settings in GuixSD

2017-11-10 Thread Konrad Hinsen
Hi Chris, > That error looks suspicious. Perhaps you already know this, but it > probably means that the string "mirror.hydra.gnu.org" wound up being > used where a procedure should probably have been used instead. For > example, in your Guile REPL, you can reproduce this kind of error like > th

Re: Changing HTTP proxy settings in GuixSD

2017-11-09 Thread Chris Marusich
Konrad Hinsen writes: >> A quick workaround would be to do something along these lines: >> >># herd stop guix-daemon >># http_proxy=… guix-daemon --build-users-group=guixbuild >># guix system reconfigure config.scm >> >> where config.scm has the relevant proxy configuration of in >> ‘

Re: Changing HTTP proxy settings in GuixSD

2017-11-06 Thread Konrad Hinsen
Hi Ludo, A quick workaround would be to do something along these lines: # herd stop guix-daemon # http_proxy=… guix-daemon --build-users-group=guixbuild # guix system reconfigure config.scm where config.scm has the relevant proxy configuration of in ‘guix-configuration’. Would that w

Re: Changing HTTP proxy settings in GuixSD

2017-10-26 Thread Ludovic Courtès
Hello! Konrad Hinsen skribis: > I am running GuixSD in a virtual machine on a laptop that I use in > different network environments. One of them requires the use of a HTTP > proxy, direct accesses being blocked. As a consequence, the Guix build > daemon fails when downloading anything. > > After