Processed: Re: Bug#762618: debian-installer: amd64/i386 netboot/mini.iso has empty grub.cfg for EFI boot

2014-09-27 Thread Debian Bug Tracking System
Processing control commands: > tag -1 +patch Bug #762618 [src:debian-installer] debian-installer: amd64/i386 netboot/mini.iso has empty grub.cfg for EFI boot Added tag(s) patch. -- 762618: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=762618 Debian Bug Tracking System Contact ow...@bugs.debi

Bug#762618: debian-installer: amd64/i386 netboot/mini.iso has empty grub.cfg for EFI boot

2014-09-27 Thread Ian Campbell
Control: tag -1 +patch On Tue, 2014-09-23 at 20:29 +0100, Ian Campbell wrote: > While looking for an example to crib for arm64 I noticed that the amd64 > mini.iso has a grub cfg (used when booting on EFI) which doesn't contain any > menu entries. Booting on non-EFI would use the isolinux menus in

Bug#762618: debian-installer: amd64/i386 netboot/mini.iso has empty grub.cfg for EFI boot

2014-09-23 Thread Ian Campbell
Source: debian-installer Version: 20130613+deb7u2 Severity: normal While looking for an example to crib for arm64 I noticed that the amd64 mini.iso has a grub cfg (used when booting on EFI) which doesn't contain any menu entries. Booting on non-EFI would use the isolinux menus in the usual way. Lo