From mboxrd@z Thu Jan  1 00:00:00 1970
From: martin@famic.de
Subject: guix pull behind proxy not working
Date: Thu, 4 Jul 2019 11:05:35 +0200
Message-ID: <20190704090535.GB24157@famic.de>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Return-path: <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:470:142:3::10]:60445)
 by lists.gnu.org with esmtp (Exim 4.86_2)
 (envelope-from <martin@mail.famic.de>) id 1hixhT-00011s-AA
 for help-guix@gnu.org; Thu, 04 Jul 2019 05:06:45 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <martin@mail.famic.de>) id 1hixhP-0001Bg-7j
 for help-guix@gnu.org; Thu, 04 Jul 2019 05:06:40 -0400
Received: from famic.de ([85.25.48.132]:35588)
 by eggs.gnu.org with esmtp (Exim 4.71)
 (envelope-from <martin@mail.famic.de>) id 1hixhO-0000ru-Rn
 for help-guix@gnu.org; Thu, 04 Jul 2019 05:06:39 -0400
Content-Disposition: inline
List-Id: <help-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/help-guix>,
 <mailto:help-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/help-guix>
List-Post: <mailto:help-guix@gnu.org>
List-Help: <mailto:help-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/help-guix>,
 <mailto:help-guix-request@gnu.org?subject=subscribe>
Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org
Sender: "Help-Guix" <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
To: help-guix@gnu.org

Hi there!

This is my first contact with Guix System and I managed to install it as
Virtualbox guest system behind a corporate proxy. Well, this was already
quite a challenge and succeeded only due the workaround
(https://guix-devel.gnu.narkive.com/k3oBoFqW/changing-http-proxy-settings-in-guixsd),
but now `guix install` works, I can install new packages (given a
warning about never calling `guix pull`).  However, calling `guix pull`
and `guix system reconfigure` still fails due to unreachable network.
Does it need different proxy settings?  What can I do?

Here is the guix-configuration part of my /etc/config.scm (omitting my
proxy address details):

    (define %my-services
      (modify-services %desktop-services
        (guix-service-type config =>
                           (guix-configuration
                            (inherit config)
                            (http-proxy "http://<IP>:<PORT>")))))

Thanks for any ideas,
Martin