#23 Use a unique menu ID to set the default
The ID has the format:
$prefix-$hex_pool_guid-$escaped_be_name
The BE name is escaped as in grub!4 (merged).
-
be_change_grub2_default
: Useasprintf
. Don't assume the command cannot be longer thanMAXPATHLEN
. -
be_change_grub2_default
: Make error handling clearer.
Issue #23.
Depends on grub!4 (merged).
Depends on !19 (merged).
Edited by Witaut Bajaryn