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

2016-08-03 Thread Chris Marusich
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: > > (

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

2016-08-03 Thread Ludovic Courtès
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