Changing the HTTP/FTP proxy used by the daemon is inconvenient

  • Done
  • quality assurance status badge
Details
2 participants
  • Andy Patterson
  • Ludovic Courtès
Owner
Somebody
Submitted by
Ludovic Courtès
Severity
important
L
L
Ludovic Courtès wrote on 29 Jan 2017 00:26
(address . bug-guix@gnu.org)
87wpdezrzj.fsf@gnu.org
Changing the HTTP{,S} and FTP proxies used by guix-daemon is
inconvenient, especially when doing a GuixSD install, as reported by
Divan Santana <divan@santanas.co.za> at:


We should add a service-specific action to do that, like:

herd set-http-proxy guix-daemon http://example.org

or, alternately, let guix-daemon (‘guix substitute’ and ‘guix
perform-download’) honor client-provided proxy settings passed via
‘set-build-options’ or similar.

Ludo’.
L
L
Ludovic Courtès wrote on 25 Apr 2017 12:21
control message for bug #25569
(address . control@debbugs.gnu.org)
87a874dbz2.fsf@gnu.org
severity 25569 important
A
A
Andy Patterson wrote on 31 Jan 2019 16:20
20190131101937.3fd7ecc0@mailservices.uwaterloo.ca
owner 25569 !
L
L
Ludovic Courtès wrote on 7 Apr 2020 11:24
Re: bug#25569: Changing the HTTP/FTP proxy used by the daemon is inconvenient
(address . 25569@debbugs.gnu.org)
87v9mbbqdl.fsf@gnu.org
ludo@gnu.org (Ludovic Courtès) skribis:

Toggle quote (10 lines)
> Changing the HTTP{,S} and FTP proxies used by guix-daemon is
> inconvenient, especially when doing a GuixSD install, as reported by
> Divan Santana <divan@santanas.co.za> at:
>
> https://lists.gnu.org/archive/html/help-guix/2017-01/msg00047.html
>
> We should add a service-specific action to do that, like:
>
> herd set-http-proxy guix-daemon http://example.org

Provided a patch here:


Ludo’.
L
L
Ludovic Courtès wrote on 7 Apr 2020 12:33
(address . 25569-done@debbugs.gnu.org)
87r1wza8m7.fsf@gnu.org
Ludovic Courtès <ludo@gnu.org> skribis:

Toggle quote (16 lines)
> ludo@gnu.org (Ludovic Courtès) skribis:
>
>> Changing the HTTP{,S} and FTP proxies used by guix-daemon is
>> inconvenient, especially when doing a GuixSD install, as reported by
>> Divan Santana <divan@santanas.co.za> at:
>>
>> https://lists.gnu.org/archive/html/help-guix/2017-01/msg00047.html
>>
>> We should add a service-specific action to do that, like:
>>
>> herd set-http-proxy guix-daemon http://example.org
>
> Provided a patch here:
>
> https://lists.gnu.org/archive/html/guix-devel/2020-04/msg00084.html

Pushed as 3302e03ba0edca49347c6a2b215e56bd53a6b113!

Ludo’.
Closed
?
Your comment

This issue is archived.

To comment on this conversation send an email to 25569@debbugs.gnu.org

To respond to this issue using the mumi CLI, first switch to it
mumi current 25569
Then, you may apply the latest patchset in this issue (with sign off)
mumi am -- -s
Or, compose a reply to this issue
mumi compose
Or, send patches to this issue
mumi send-email *.patch