Bug#690538: Isn't the submenu concept itself clashing with GRUB_DEFAULT settings != 0?

2014-01-16 Thread Colin Watson
On Thu, Jan 16, 2014 at 02:25:14AM +0100, Maurizio Avogadro wrote: I didn't read this bug report before trying to understand the issue; I used to keep GRUB_DEFAULT=saved and the introduction of the submenu catched me unprepared. Going to give my 2 cents by telling my thoughts. I started to

Bug#690538: Isn't the submenu concept itself clashing with GRUB_DEFAULT settings != 0?

2014-01-15 Thread Maurizio Avogadro
Package: grub-common Version: 2.00-22 I didn't read this bug report before trying to understand the issue; I used to keep GRUB_DEFAULT=saved and the introduction of the submenu catched me unprepared. Going to give my 2 cents by telling my thoughts. I started to think that the creation of a