(cd) Fix GRUB menu timeout (on first load)

2016-09-07 17:08:11 +09:00 · 2016-09-07 17:08:11 +09:00 · a0886ff28d
commit a0886ff28d
parent 4aba5b1cfc
2 changed files with 6 additions and 3 deletions
--- a/util/cdrom/boot/grub/grub.cfg
+++ b/util/cdrom/boot/grub/grub.cfg
@ -27,9 +27,6 @@ function set_theme {
    set theme=/boot/grub/theme.txt
 }

-set timeout_style=menu
-set timeout=5
-
 function load_modules {
    echo "Loading modules..."
    module /mod/zero.ko
--- a/util/cdrom/boot/grub/menus.cfg
+++ b/util/cdrom/boot/grub/menus.cfg
@ -1,5 +1,11 @@
 set_theme

+if [ ! "${seen_menu}" = "yes" ]; then
+    set timeout=5
+    set seen_menu="yes"
+    export seen_menu
+fi
+
 submenu 'Live CD' {
    multiboot /kernel vid=${t_driver},${t_resolution} start=live-welcome ${t_root}
    load_modules