@Colin Watson (cjwatson), post #8 Not sure if I understand you entirely, but I definitely didn't touch /etc/grub.d/05_debian_theme before that upgrade. Here's the fix that I applied on Dec 4, after weeks of fiddling:
#test -d "${GRUB_PREFIX}"; cd "${GRUB_PREFIX}" cd /boot/grub which made it work again, after all. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1078653 Title: GRUB_PREFIX not set after dist-upgrade To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/ubuntu-release-upgrader/+bug/1078653/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs