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.