Re: Changing HTTP proxy settings in GuixSD

[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 work for you?

No. Downloads fail with messages of the type

ERROR: Wrong type to apply: "mirror.hydra.gnu.org"

This looks like the proxy returns something that guix-daemon doesn't 
expect. Unfortunately, this may well be the fault of my institutions 
proxy, which has caused lots of people lots of trouble of various kinds.

Konrad.