From mboxrd@z Thu Jan  1 00:00:00 1970
From: Mathieu Othacehe <m.othacehe@gmail.com>
Subject: Re: Proxy settings wrt guix daemon
Date: Tue, 07 Apr 2020 18:47:25 +0200
Message-ID: <87h7xvmeea.fsf@gmail.com>
References: <CAEwRq=p-DQgHcmPRb9mYXTJ-WXy7NQVJStuKE_=7jGrgauqMNw@mail.gmail.com>
 <87blofyzn0.fsf@gnu.org>
 <CAEwRq=rcXmB31Hrrn_iDGO1t+AeOpZiPQ7qzWnyB0j4qC+UgUQ@mail.gmail.com>
 <87eet8v948.fsf@gnu.org>
 <CAEwRq=pNqK+cE+Vq6DxPgT9FCg=4kmsno5D8vSfjM7Fsg5FZLA@mail.gmail.com>
 <87r1x3tgi3.fsf@gmail.com> <875zedf0up.fsf@gnu.org>
 <87h7xva8b7.fsf@gnu.org>
Mime-Version: 1.0
Content-Type: text/plain
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org>
Received: from eggs.gnu.org ([2001:470:142:3::10]:53968)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <m.othacehe@gmail.com>) id 1jLrNp-0004H4-Dx
 for guix-devel@gnu.org; Tue, 07 Apr 2020 12:47:30 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <m.othacehe@gmail.com>) id 1jLrNo-0006Gr-EY
 for guix-devel@gnu.org; Tue, 07 Apr 2020 12:47:29 -0400
In-Reply-To: <87h7xva8b7.fsf@gnu.org> ("Ludovic
 \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\=
 \=\?utf-8\?Q\?s\?\= message of "Tue, 07 Apr 2020 12:39:40 +0200")
List-Id: "Development of GNU Guix and the GNU System distribution."
 <guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
 <mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/guix-devel>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
 <mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org
Sender: "Guix-devel"
 <guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org>
To: Ludovic =?utf-8?Q?Court=C3=A8s?= <ludo@gnu.org>
Cc: guix-devel <guix-devel@gnu.org>


Hey,

> I went ahead and pushed it as 3302e03ba0edca49347c6a2b215e56bd53a6b113.
> Another 2017 bug closed!  \o/

Well done!

>
> Ideally, the installer would have a dialog box to select a proxy.
> Do we want to do that?  Or leave it for the next release?

Yes I could do that. I wonder what's the best place for such a dialog
box, because I suspect the vast majority of people is not concerned by
network proxy settings.

Maybe from the new help menu? But then the "help" term is maybe not the
best fit. We could make it a "parameter" menu, this way:

--8<---------------cut here---------------start------------->8---
Press <F1> to access installation parameters.

This is the installer parameters menu, please make a choice.

  * Change keyboard layout
  * Configure network proxy
  ...
--8<---------------cut here---------------end--------------->8---

WDYT?

Mathieu