From mboxrd@z Thu Jan 1 00:00:00 1970 From: Konrad Hinsen Subject: Changing HTTP proxy settings in GuixSD Date: Thu, 26 Oct 2017 15:21:25 +0200 Message-ID: <325f5d06-4bb1-294d-2768-07dde6d76090@fastmail.net> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 7bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:59985) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1e7i6H-00034A-3w for guix-devel@gnu.org; Thu, 26 Oct 2017 09:21:35 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1e7i6D-0004QQ-Qy for guix-devel@gnu.org; Thu, 26 Oct 2017 09:21:33 -0400 Received: from mail.synchrotron-soleil.fr ([195.221.0.33]:35270 helo=brouette.synchrotron-soleil.fr) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1e7i6D-0004Ku-Jn for guix-devel@gnu.org; Thu, 26 Oct 2017 09:21:29 -0400 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: guix-devel Hi everyone, I wonder if anyone else has had the problem I describe below and knows a solution. 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. 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. Any ideas? Konrad.