From mboxrd@z Thu Jan 1 00:00:00 1970 From: Mathieu Othacehe Subject: Re: Proxy settings wrt guix daemon Date: Tue, 07 Apr 2020 18:54:27 +0200 Message-ID: <87d08jme2k.fsf@gmail.com> References: <87blofyzn0.fsf@gnu.org> <87eet8v948.fsf@gnu.org> <87r1x3tgi3.fsf@gmail.com> <875zedf0up.fsf@gnu.org> <87h7xva8b7.fsf@gnu.org> <87h7xvmeea.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:55009) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jLrUc-0000Oj-MH for guix-devel@gnu.org; Tue, 07 Apr 2020 12:54:31 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1jLrUb-0004GW-SA for guix-devel@gnu.org; Tue, 07 Apr 2020 12:54:30 -0400 In-Reply-To: <87h7xvmeea.fsf@gmail.com> (Mathieu Othacehe's message of "Tue, 07 Apr 2020 18:47:25 +0200") 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-mx.org@gnu.org Sender: "Guix-devel" To: Ludovic =?utf-8?Q?Court=C3=A8s?= Cc: guix-devel Another issue could be that, to make sure that we are connected to the internet, we check connman status (see connman-state in (gnu installer connman)) during the install. If there's a network HTTP proxy, I guess this may fail. So we would need to also call "connmanctl proxy auto PROXY_URL" or something alike. Is there someone here that is behind a HTTP proxy and could test that? Thanks, Mathieu