Thank you for looking at this issue. I did have various issues with themeing grub's terminal. Being unsure am I brawling own inexperience or actual bugs I've opted for (in my mind) less damaging do-not-theme-terminal let-the-grub-apply-defaults.
Package installer should consider /etc to be the place where admin/user puts own final overrides, hence my dislike of "vendor" provided GRUB_THEME in /etc/default/grub. On the other side, where should "vendor" put his default grub theme? Guided by example from /lib/plymouth/themes/ubuntu-logo/ubuntu-logo.grub it ended up being one of the plymouth's alternatives conf. I do agree that changing grub's theme as a responsibility should not belong to packages outside of grub2-themes-ubuntu-mate. Is there something like /lib/grub/default? -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1404006 Title: grub2-themes-ubuntu-mate partially obscured submenus To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu-mate/+bug/1404006/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs