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, 05 Feb 2018 14:15:57 +0100 Message-ID: <87mv0nd1bm.fsf@gnu.org> References: <55149c20-6f4c-8b37-9b9f-43879f2d038f@uni-bremen.de> <878teabyjb.fsf@gmail.com> <87bmj54n8z.fsf@gnu.org> <1e2b47c5-6c2d-02c9-16bf-e633317d09c5@uni-bremen.de> <87po7gghyw.fsf@gnu.org> <87a7yhv8pj.fsf@gmail.com> <877etkxufy.fsf@gnu.org> <87h8r1me1t.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]:45377) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eigcv-00021B-MB for guix-devel@gnu.org; Mon, 05 Feb 2018 08:16:11 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eigcq-0007iI-EW for guix-devel@gnu.org; Mon, 05 Feb 2018 08:16:05 -0500 Received: from hera.aquilenet.fr ([2a0c:e300::1]:53364) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eigcq-0007fr-7T for guix-devel@gnu.org; Mon, 05 Feb 2018 08:16:00 -0500 In-Reply-To: <87h8r1me1t.fsf@gmail.com> (Oleg Pykhalov's message of "Thu, 01 Feb 2018 09:14:54 +0300") 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: Oleg Pykhalov Cc: guix-devel Hi, Oleg Pykhalov skribis: > ludo@gnu.org (Ludovic Court=C3=A8s) writes: > >> Oleg Pykhalov skribis: > > [...] > >>> Are linux linux-arguments initrd in menu-entry required? >> >> Currently yes: this is how you tell GRUB what to boot. > > I see an issue with it, because not always you want them. > >>> Maybe we could have configfile field? >>> https://www.gnu.org/software/grub/manual/grub/html_node/configfile.html >> >> Yes, we could do that. One question is how to integrated properly since >> =E2=80=98menu-entry=E2=80=99 is now bootloader-independent. Perhaps Mat= hieu or Danny >> have ideas? > > We could start by adding a way to add anything. Here is a patch. > Probably ugly, but as a draft and idea about additional-options. > > From 7d7162a8ec78c84e7eba3ae9f7c4fbf07703617e Mon Sep 17 00:00:00 2001 > From: Oleg Pykhalov > Date: Thu, 1 Feb 2018 08:59:30 +0300 > Subject: [PATCH] bootloader: Add additional-options to menu-entry. > > * gnu/bootloader.scm ()[additional-options]: New field. > * gnu/bootloader/grub.scm (grub-configuration-file): Handle this. [...] > Which allows to use additional-options in menu-entry: >=20 > (operating-system > =E2=80=A6 > (bootloader > (bootloader-configuration > (bootloader grub-efi-bootloader) > (target "/boot/efi") > (menu-entries > (list (menu-entry > (label "Another distro") > (linux "") > (initrd "") > (additional-options '("search --label --set another-disk-label" > "configfile /boot/grub/grub.cfg"))))))) > =E2=80=A6) I think we should keep =E2=80=98menu-entry=E2=80=99 bootloader-independent.= I=E2=80=99m actually not sure what problem we=E2=80=99re trying to solve: is it that the =E2=80=98root=E2=80=99 variable in GRUB gets set to the wrong partition whe= n you try to dual-boot? In that case, perhaps a solution would be to add a =E2=80=98root=E2=80=99 f= ield to , that could default to 'auto to obtain the current behavior? Ludo=E2=80=99.