I have resolved the issue.
In /etc/default/grub, GRUB_TIMEOUT_STYLE was set to "hidden". I changed it to
"menu" and ran
update-grub
It is a serious bug to hide away the grub menu on a dual boot system.
This makes the other operating system inaccessible.
In addition, even on non-dual boot system t
For both the system with the working grub menu and the other system with the
broken grub menu,
I am using the onboard vga graphics attached to a monitor that directly
supports vga.
I am typically running the vga at 1920x1080 resolution.
--
You received this bug notification because you are a me
