The copy in the windows directory was not the one causing the problem.
I manually copied the one in
/boot/efi/EFI/ubuntu/grubx64.efi
to
/boot/efi/EFI/Boot/bootx64.efi
The system boots normally now.
I don't think this is a non-standard BIOS configuration.
Ubuntu managed it well since 12.10.
None of these options
boot-rescue
grub-install
dpkg-reconfigure grub-efi
are updating this file.
The option "backup and windows EFI files" of grub-rescue could not handle an
hibernated Windows 8.
Maybe this option works, as repoted by some users in the comments to the
related bug.
I did not test it.
The problem exists in a new installation of 14.04 where the EFI
partition was recreated by the installer.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1312787
Title:
"error: symbol 'grub_term_highlight_color' not found" in Ubuntu 14.04
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/grub-customizer/+bug/1312787/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
