From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: Dualbooting with guixsd not handling grub installation Date: Mon, 11 Dec 2017 10:39:24 +0100 Message-ID: <87bmj54n8z.fsf@gnu.org> References: <55149c20-6f4c-8b37-9b9f-43879f2d038f@uni-bremen.de> <878teabyjb.fsf@gmail.com> 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]:52764) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eOKYc-0002H4-NJ for guix-devel@gnu.org; Mon, 11 Dec 2017 04:39:31 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eOKYZ-00064f-Gu for guix-devel@gnu.org; Mon, 11 Dec 2017 04:39:30 -0500 Received: from hera.aquilenet.fr ([141.255.128.1]:48772) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eOKYZ-00063U-As for guix-devel@gnu.org; Mon, 11 Dec 2017 04:39:27 -0500 In-Reply-To: <878teabyjb.fsf@gmail.com> (Mathieu Othacehe's message of "Sun, 10 Dec 2017 12:41:28 +0100") 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: Mathieu Othacehe Cc: guix-devel Hello, Mathieu Othacehe skribis: >>> This could be done by adding a cli argument for reconfigure or allowing >>> an empty string in (grub-configuration (target "")). >>> >>> WDYT? >>> > > An already available option would be to override the grub-installer like > this : > > (define no-op-installer > #~(lambda (bootloader device mount) > (display "no op"))) > > (bootloader (bootloader > (inherit grub-bootloader) > (installer no-op-installer)) We could even define and document it as =E2=80=98no-bootloader=E2=80=99 or = something like that. > I admit this is not ideal, so I would propose two options : > > * Allow for target field to be #f and do not call the installer when > this happends. Sounds reasonable. > * Precise the --no-bootloader parameter of guix system to deal with > multiple cases, for example : > > --bootloader=3D[default|no-config-file|no-install|...] > > WDYT ? What would it do in the =E2=80=98no-config-file=E2=80=99 case? Run =E2=80= =98grub-install=E2=80=99 (or similar) without regenerating =E2=80=98grub.cfg=E2=80=99? Does that make s= ense? Thanks, Ludo=E2=80=99.