env_init, grub list & split

2023-11-24 06:32:00 +01:00 · 2023-11-24 06:32:00 +01:00 · 99ae54c84c
commit 99ae54c84c
parent 86d12fe01f
11 changed files with 112 additions and 52 deletions
--- a/live/source/menu.sh
+++ b/live/source/menu.sh
@ -25,7 +25,6 @@ function menu_exit {
 }

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