@Teo, I had submitted comment #169, and I am sorry not to be of help when you were following those steps --I was in bed, being in a different time zone! In any case, I am happy that you could decipher the steps from my somewhat vague comment and succeeded in setting right grub.
You have nicely summmarized the steps needed, and I agree with your conjecture. I hope this will be taken note of to resolve the bug. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1289977 Title: Ubuntu 14.04 Update breaks grub, resulting in "error: symbol 'grub_term_highlight_color' not found" To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1289977/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs