From mboxrd@z Thu Jan 1 00:00:00 1970 From: znavko@disroot.org Subject: Re: guix pull behind proxy not working Date: Thu, 04 Jul 2019 13:06:22 +0000 Message-ID: References: <20190704090535.GB24157@famic.de> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:45607) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hj1Ra-0001iT-E3 for help-guix@gnu.org; Thu, 04 Jul 2019 09:06:36 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hj1RX-0006ir-Qq for help-guix@gnu.org; Thu, 04 Jul 2019 09:06:34 -0400 Received: from knopi.disroot.org ([178.21.23.139]:42182) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hj1RX-0006fV-4U for help-guix@gnu.org; Thu, 04 Jul 2019 09:06:31 -0400 In-Reply-To: <20190704090535.GB24157@famic.de> List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: martin@famic.de, help-guix@gnu.org If you want any idea, I use freevpn.me and vpnbook.com accounts with 'ope= nvpn' package. All guix commands download normally. And in terminal I hav= e vpn ip (for freevpn.me):=0A=0A$ curl ifconfig.io=0A51.15.151.165=0A=0AB= ut really I am not sure which is my ip when guix downloads.=0A=0A=0AJuly = 4, 2019 12:53 PM, martin@famic.de wrote:=0A=0A> Hi there!=0A> =0A> This i= s my first contact with Guix System and I managed to install it as=0A> Vi= rtualbox guest system behind a corporate proxy. Well, this was already=0A= > quite a challenge and succeeded only due the workaround=0A> (https://gu= ix-devel.gnu.narkive.com/k3oBoFqW/changing-http-proxy-settings-in-guixsd)= ,=0A> but now `guix install` works, I can install new packages (given a= =0A> warning about never calling `guix pull`). However, calling `guix pul= l`=0A> and `guix system reconfigure` still fails due to unreachable netwo= rk.=0A> Does it need different proxy settings? What can I do?=0A> =0A> He= re is the guix-configuration part of my /etc/config.scm (omitting my=0A> = proxy address details):=0A> =0A> (define %my-services=0A> (modify-service= s %desktop-services=0A> (guix-service-type config =3D>=0A> (guix-configur= ation=0A> (inherit config)=0A> (http-proxy "http://:")))))=0A> = =0A> Thanks for any ideas,=0A> Martin