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 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
I trust that you are running grub-mkconfig -o /boot/grub/grub.cfg after editing /etc/default/grub.
_______________________________________________ Help-grub mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-grub
