On 28.01.2015 19:44, Stefan G. Weichinger wrote: > So now "Linux Boot Manager" is gummiboot ... and grub is grub ;)
And for the records: renaming "Linux Boot Manager" to "gummiboot" was done by: # efibootmgr -b0000 -B # efibootmgr -c -L "gummiboot" nice!
