[no subject]

2015-05-26 Thread Mathieu Trudel-Lapierre
I've been playing with fixing Ubuntu bug 1097570; trying to debug a script we use for the EFI images which detects where to boot from based on the location of a .disk/info file. Turns out this mostly works, except for the fact that grub appears to always list devices in a specific order, which

Re: Set a bootdrive environment variable.

2015-05-26 Thread Andrei Borzenkov
В Tue, 26 May 2015 12:46:07 -0400 Mathieu Trudel-Lapierre mathieu...@gmail.com пишет: I've been playing with fixing Ubuntu bug 1097570; trying to debug a script we use for the EFI images which detects where to boot from based on the location of a .disk/info file. Turns out this mostly

[RFC] Support menuentry options in simple configuration interface

2015-05-26 Thread Michael Chang
This patch provides settings in simple configuration interface that can set common options to menuentry. One of the use cases is specifying the security settings thus it won't be overwritten by grub-mkconfig. For eg. GRUB_MENU_ENTRY_OPTION_LINUX=--unrestricted