From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=)
Subject: Re: Changing HTTP proxy settings in GuixSD
Date: Thu, 26 Oct 2017 17:41:08 -0700
Message-ID: <87o9otbexn.fsf@gnu.org>
References: <325f5d06-4bb1-294d-2768-07dde6d76090@fastmail.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:51861)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1e7si7-0005cd-LT
	for guix-devel@gnu.org; Thu, 26 Oct 2017 20:41:20 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1e7si4-0000WR-Ge
	for guix-devel@gnu.org; Thu, 26 Oct 2017 20:41:19 -0400
Received: from hera.aquilenet.fr ([2a01:474::1]:39433)
	by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32)
	(Exim 4.71) (envelope-from <ludo@gnu.org>) id 1e7si4-0000V8-Ab
	for guix-devel@gnu.org; Thu, 26 Oct 2017 20:41:16 -0400
In-Reply-To: <325f5d06-4bb1-294d-2768-07dde6d76090@fastmail.net> (Konrad
	Hinsen's message of "Thu, 26 Oct 2017 15:21:25 +0200")
List-Id: "Development of GNU Guix and the GNU System distribution."
	<guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/guix-devel/>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org
Sender: "Guix-devel" <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
To: Konrad Hinsen <konrad.hinsen@fastmail.net>
Cc: guix-devel <guix-devel@gnu.org>

Hello!

Konrad Hinsen <konrad.hinsen@fastmail.net> 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 reading the manual, I come to the conclusion that the only way
> to change the HTTP proxy settings for the build daemon is via
> (guix-configuration ...), which requires to do "guix system
> reconfigure".
> Unfortunately that command fails because it tries to download stuff
> (no idea why, BTW, I didn't do a "guix pull" since I last used it) and
> fails. It looks like I'd have to reconfigure while I am still in a
> working network environment, meaning I'd have to anticipate switching
> networks, which I can't.

Not that it helps you much, but there=E2=80=99s an open bug on this topic:
<https://bugs.gnu.org/25569>.

> More generally, it would be nice to have to be able to change network
> settings without reconfiguring and rebooting. But at first, I'd be
> happy if I could get my system to work at all.

I agree.

A quick workaround would be to do something along these lines:

  # herd stop guix-daemon
  # http_proxy=3D=E2=80=A6 guix-daemon --build-users-group=3Dguixbuild
  # guix system reconfigure config.scm

where config.scm has the relevant proxy configuration of in
=E2=80=98guix-configuration=E2=80=99.

Would that work for you?

HTH,
Ludo=E2=80=99.