From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ricardo Wurmus Subject: Re: How to configure git to use a proxy inside guix build container Date: Tue, 23 Jan 2018 21:52:52 +0100 Message-ID: <878tcoz49n.fsf@elephly.net> References: 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]:33240) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ee5ZX-0002kC-4T for help-guix@gnu.org; Tue, 23 Jan 2018 15:53:36 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ee5ZT-0008Ek-5o for help-guix@gnu.org; Tue, 23 Jan 2018 15:53:35 -0500 Received: from sender-of-o51.zoho.com ([135.84.80.216]:21072) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1ee5ZS-0008DL-UO for help-guix@gnu.org; Tue, 23 Jan 2018 15:53:31 -0500 In-reply-to: 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: Jorge Cc: Help-Guix@gnu.org Hi Jorge, > It has not worked: > $ guix pull > guile: warning: failed to install locale > warning: failed to install locale: Invalid argument > Updating from Git repository at 'https://git.savannah.gnu.org/git/gui= x.git'... > guix pull: error: Git error: failed to connect to git.savannah.gnu.or= g: Connection timed out > > And as you can see, git has been laconic, indicating that, for some > unknown reason, GIT_CURL_VERBOSE and GIT_TRACE have had no effect. =E2=80=9Cguix pull=E2=80=9D uses guile-git, not the git command line tool. =E2=80=9Cguile-git=E2=80=9D has a value =E2=80=9C%proxy-options=E2=80=9D, b= ut I don=E2=80=99t know how it is used. -- Ricardo GPG: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC https://elephly.net