Thank you. If it were that simple, I would not have posted this request
however.
As explained in my original post, I have edited /etc/default/grub with
all sorts of combinations of timeout (and other settings), but it does
not respect the timeout.
I tried all of the following, and the boot menu always disappears
within the flash of an eye:
/etc/default/grub ::
GRUB_TIMEOUT=5
GRUB_TIMEOUT=5000
GRUB_TIMEOUT=-1
On 10/16/2018 9:29 PM, Leslie S Satenstein wrote:
Look at /etc/default/grub and adjust the timeout therein
Regards
Leslie
Leslie Satenstein
Montreal Quebec, Canada
_______________________________________________
Help-grub mailing list
address@hidden
https://lists.gnu.org/mailman/listinfo/help-grub