From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: Planning for the next release Date: Fri, 31 Mar 2017 18:25:20 +0200 Message-ID: <877f35l8gf.fsf@gnu.org> References: <87wpb7ym78.fsf@gnu.org> <20170331135732.pkobwwkzuojil4v3@abyayala> 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]:47982) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ctzMe-0007Ih-31 for guix-devel@gnu.org; Fri, 31 Mar 2017 12:25:29 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ctzMZ-0001eB-6J for guix-devel@gnu.org; Fri, 31 Mar 2017 12:25:28 -0400 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:33742) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ctzMZ-0001e2-2g for guix-devel@gnu.org; Fri, 31 Mar 2017 12:25:23 -0400 Received: from reverse-83.fdn.fr ([80.67.176.83]:54498 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1ctzMY-0000aQ-GN for guix-devel@gnu.org; Fri, 31 Mar 2017 12:25:22 -0400 In-Reply-To: <20170331135732.pkobwwkzuojil4v3@abyayala> (ng0's message of "Fri, 31 Mar 2017 13:57:32 +0000") 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 ng0 skribis: > On my side, people will and have asked for the intermediate time how/if > the http_proxy of Guix works. If someone has been using it with an > SOCKS5 proxy successfully, I'd would like to have this added to > documentation as well. My own experiment ended up with a shot in the > foot where I had to roll back because Guix was now unable to do anything > at all. The guix-service in GuixSD now allows you to specify an HTTP proxy quite easily, for substitutes and downloads (commit 93d32da9f8). I haven=E2=80= =99t tried it but it Should Work Fine. Ludo=E2=80=99.