From mboxrd@z Thu Jan 1 00:00:00 1970 From: Konrad Hinsen Subject: Re: Changing HTTP proxy settings in GuixSD Date: Mon, 6 Nov 2017 18:20:23 +0100 Message-ID: References: <325f5d06-4bb1-294d-2768-07dde6d76090@fastmail.net> <87o9otbexn.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:41385) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eBl4a-0008Pw-NL for guix-devel@gnu.org; Mon, 06 Nov 2017 12:20:33 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eBl4X-0005S7-3j for guix-devel@gnu.org; Mon, 06 Nov 2017 12:20:32 -0500 In-Reply-To: <87o9otbexn.fsf@gnu.org> Content-Language: en-US List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: =?UTF-8?Q?Ludovic_Court=c3=a8s?= Cc: guix-devel Hi Ludo, > A quick workaround would be to do something along these lines: >=20 > # herd stop guix-daemon > # http_proxy=3D=E2=80=A6 guix-daemon --build-users-group=3Dguixbuild > # guix system reconfigure config.scm >=20 > where config.scm has the relevant proxy configuration of in > =E2=80=98guix-configuration=E2=80=99. >=20 > 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=20 expect. Unfortunately, this may well be the fault of my institutions=20 proxy, which has caused lots of people lots of trouble of various kinds. Konrad.