From mboxrd@z Thu Jan 1 00:00:00 1970 From: "Jorge" Subject: How to configure git to use a proxy inside guix build container Date: Fri, 19 Jan 2018 22:56:51 +0000 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:52967) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ecfb9-0003Du-Up for Help-Guix@gnu.org; Fri, 19 Jan 2018 17:57:24 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ecfb6-0004Sf-1q for Help-Guix@gnu.org; Fri, 19 Jan 2018 17:57:24 -0500 Received: from bs-one.disroot.org ([178.21.23.139]:59004 helo=disroot.org) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1ecfb5-0004Lf-Ku for Help-Guix@gnu.org; Fri, 19 Jan 2018 17:57:19 -0500 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 96E102B0D6 for ; Fri, 19 Jan 2018 23:57:08 +0100 (CET) Received: from disroot.org ([127.0.0.1]) by localhost (mail01.disroot.lan [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id PIkcHXJy8K42 for ; Fri, 19 Jan 2018 23:56:58 +0100 (CET) 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: Help-Guix@gnu.org Hi. guix pull fails:=0AUpdating from Git repository at 'https://git.savan= nah.gnu.org/git/guix.git'...=0Aguix pull: error: Git error: failed to con= nect to git.savannah.gnu.org: Connection timed out=0A=0AI suspect git ins= ide the guix build container tries to connect directly=0Ato the Internet = instead of using the proxy. Outside guix I can=0Asuccessfully run ~git cl= one https://git.savannah.gnu.org/git/guix.git~=0A=0ASo how do I configure= a proxy for git inside guix?=0A=0ARegards=0A=0A- I am Brazilian. I hope= my English is correct and I welcome feedback=0A- Please adopt free forma= ts like PDF, ODF, Org, LaTeX, Opus, WebM and 7z=0A- Free (as in free spee= ch) software for Android: https://f-droid.org/