grub.cfg.sh

2023-11-10 20:09:15 +01:00 · 2023-11-10 20:09:15 +01:00 · c92a114205
commit c92a114205
parent 04ad78a6e1
10 changed files with 144 additions and 119 deletions
--- a/live/source/menu.sh
+++ b/live/source/menu.sh
@ -16,6 +16,7 @@ function menu_color {
 }

 function menu_init {
+    env_init
    if [ "${menu}" ] ; then
        if [ "${1}" ] ; then
            menuentry "→ ${menu} → ${1}" { nop }