From mboxrd@z Thu Jan 1 00:00:00 1970 From: myglc2 Subject: Re: Non-graphical GRUB configuration Date: Sun, 02 Apr 2017 20:31:39 -0400 Message-ID: <86zifymivo.fsf@gmail.com> References: <20170331125956.rhlwjg45vwo3pgwh@abyayala> <20170331234321.GA10435@jasmine> <20170401072740.kgzz3zbtikn5hpg5@abyayala> <20170401202901.GA10480@jasmine> <86vaqmwz3c.fsf@gmail.com> <20170402210620.GA26945@jasmine> <20170402221332.GA8244@jasmine> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:56560) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cupuL-00011C-0k for guix-devel@gnu.org; Sun, 02 Apr 2017 20:31:46 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cupuH-00006P-Ss for guix-devel@gnu.org; Sun, 02 Apr 2017 20:31:44 -0400 Received: from mail-qk0-x230.google.com ([2607:f8b0:400d:c09::230]:33005) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1cupuH-000064-OQ for guix-devel@gnu.org; Sun, 02 Apr 2017 20:31:41 -0400 Received: by mail-qk0-x230.google.com with SMTP id h67so3568358qke.0 for ; Sun, 02 Apr 2017 17:31:41 -0700 (PDT) In-reply-to: <20170402221332.GA8244@jasmine> 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: Leo Famulari Cc: guix-devel@gnu.org On 04/02/2017 at 22:13 Leo Famulari writes: > On Sun, Apr 02, 2017 at 05:06:20PM -0400, Leo Famulari wrote: >> Based on the GRUB manual [0], how about this plan? >> >> We'd add these fields to (grub-configuration): > > [...] > > NixOS has the user provide a string: > > https://nixos.org/nixos/manual/options.html#opt-boot.loader.grub.extraConfig > > It is much simpler than my plan... I agree this is also workable. It actually is more flexible since it allows access to all grub config features. If you go this way, the guix doc should point the user to the relevant grub doc. Since one needs to install grub in order to read the grub doc in guix, it might be helpful for the guix doc to mention that as well. HTH - George