I should add that one of the settings I tried was to set: GRUB_TIMEOUT=-1
Still, the boot menu disappears instantly. _______________________________________________ Help-grub mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-grub
