env,init,tasks

grub.cfg.sh

@@ -15,6 +15,24 @@ function grub_fix {
     trust --skip-sig "${prefix}/grub.pgp"
 }
 
+function grub_init {
+    load_env \
+    'live_name' 'data_uuid'
+    #
+    regexp --set esp '^\((.*)\)' "${prefix}"
+    #
+    env="(${esp})/grub.env"
+    load_env \
+    --skip-sig \
+    --file "${env}" \
+    'grub_sleep'
+    #
+    live="(${esp})/${live_name}/live"
+    #
+    search --no-floppy --set data \
+    --fs-uuid "${data_uuid}"
+}
+
 function grub_list_const {
     echo -n "\
     cpu-platform | ${grub_cpu}-${grub_platform}
@@ -65,7 +83,7 @@ function grub_main {
         grub_split
         #
         grub_fix
-        set_init
+        grub_init
         for file in ${live}/source/*.sh ; do
             source "${file}"
         done
@@ -81,7 +99,10 @@ function grub_main {
 function grub_pause {
     echo -n "\
           escape | "
-    sleep --interruptible --verbose 1000
+    sleep \
+    --interruptible \
+    --verbose \
+    "${grub_sleep}"
 }
 
 function grub_split {
@@ -90,18 +111,4 @@ function grub_split {
 "
 }
 
-function set_init {
-    regexp --set esp '^\((.*)\)' "${prefix}"
-    #
-    env="(${esp})/grub.env"
-    #
-    load_env --skip-sig --file "${env}" \
-    'live_name' 'data_uuid'
-    #
-    live="(${esp})/${live_name}/live"
-    #
-    search --no-floppy --set data \
-    --fs-uuid "${data_uuid}"
-}
-
 grub_main