On 17/10/18 00:06, [email protected] wrote: > 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
You have, of course, run 'update-grub' after these experimental changes? > > > > 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 > [email protected] > https://lists.gnu.org/mailman/listinfo/help-grub > _______________________________________________ Help-grub mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-grub
