From mboxrd@z Thu Jan 1 00:00:00 1970 From: Martin Castillo Subject: Re: Dualbooting with guixsd not handling grub installation Date: Thu, 14 Dec 2017 03:27:46 +0100 Message-ID: <1e2b47c5-6c2d-02c9-16bf-e633317d09c5@uni-bremen.de> References: <55149c20-6f4c-8b37-9b9f-43879f2d038f@uni-bremen.de> <878teabyjb.fsf@gmail.com> <87bmj54n8z.fsf@gnu.org> 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]:59329) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ePJFb-0007VR-GH for guix-devel@gnu.org; Wed, 13 Dec 2017 21:27:56 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ePJFW-0003OM-IE for guix-devel@gnu.org; Wed, 13 Dec 2017 21:27:55 -0500 In-Reply-To: <87bmj54n8z.fsf@gnu.org> Content-Language: en-US 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: =?UTF-8?Q?Ludovic_Court=c3=a8s?= , Mathieu Othacehe Cc: guix-devel Hi On 11.12.2017 10:39, Ludovic Court=C3=A8s wrote: > Hello, >=20 > Mathieu Othacehe skribis: >=20 >>>> This could be done by adding a cli argument for reconfigure or allow= ing >>>> an empty string in (grub-configuration (target "")). >>>> >>>> WDYT? >>>> >> >> An already available option would be to override the grub-installer li= ke >> this : >> >> (define no-op-installer >> #~(lambda (bootloader device mount) >> (display "no op"))) >> >> (bootloader (bootloader >> (inherit grub-bootloader) >> (installer no-op-installer)) >=20 > We could even define and document it as =E2=80=98no-bootloader=E2=80=99= or something > like that. >=20 >> 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. >=20 > Sounds reasonable. +1 >=20 >> * Precise the --no-bootloader parameter of guix system to deal with >> multiple cases, for example : >> >> --bootloader=3D[default|no-config-file|no-install|...] >> >> WDYT ? >=20 > 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 ma= ke sense? I realised a third option for dualbooting: menuentry "GuixSD - grub core.img loader" { search --set root --label guix-root --hint hd0,gpt3 multiboot /boot/grub/i386-pc/core.img } This loads the guixsd grub image from the filesystem instead of relying on blocklists. If someone uses different bootloader for the main system and for guixsd, where the later is multiboot compatible, this would be a good way to do it. no-install should not forget to create core.img and other files besides grub.cfg. I think useful is 'default' (install new bootconfig or, if target is #f, create it only), 'no-install' (like default with target =3D=3D #f) and 'n= o' (do nothing related to booting). Martin --=20 GPG: 7FDE 7190 2F73 2C50 236E 403D CC13 48F1 E644 08EC