Re: [PATCH] system: grub: Introduce foreign-menu-entry.

Tomáš Čech writes: > I'd like to store configuration of other linux distribution and so far > I haven't found how to override hardcoded bzImage suffix. > > With this change I can have configuration: > > (bootloader (grub-configuration > (device "/dev/sda") > (menu-entries

Re: bug#20067: [PATCH] system: grub: Introduce foreign-menu-entry.

l...@gnu.org (Ludovic Courtès) writes: > I still think that the approach proposed at > is more > appropriate; ‘menu-entry’ would always work, no duplication would be > necessary. > > As a stop-gap measure, I would prefer to (1) allow: > > (

Re: [PATCH] system: grub: Introduce foreign-menu-entry.

Hi! Tomáš Čech skribis: > * gnu/system/grub(foreign-menu-entry): New record type. > > menu-entry type is suitable for kernel and initrd from GuixSD as it is looking > for menu-entry-linux/bzImage for kernel in every case which makes pasing any > other form impossible. AIUI, this is a followup t

Re: [PATCH] system: grub: Introduce foreign-menu-entry.

On Wed, Aug 03, 2016 at 01:48:36AM -0700, Chris Marusich wrote: Hi Tomáš, Tomáš Čech writes: foreign-menu-entry is very similar but is intended for entering other distributions so it doesn't limit the name and allows kernel and initrd to be placed in different device (in Grub syntax). What

Re: [PATCH] system: grub: Introduce foreign-menu-entry.

Hi Tomáš, Tomáš Čech writes: > foreign-menu-entry is very similar but is intended for entering other > distributions so it doesn't limit the name and allows kernel and initrd to be > placed in different device (in Grub syntax). What is the use case which motivates this change? How do you inten

[PATCH] system: grub: Introduce foreign-menu-entry.

* gnu/system/grub(foreign-menu-entry): New record type. menu-entry type is suitable for kernel and initrd from GuixSD as it is looking for menu-entry-linux/bzImage for kernel in every case which makes pasing any other form impossible. foreign-menu-entry is very similar but is intended for enterin