diff options
author | Iru Cai <mytbk920423@gmail.com> | 2019-02-03 12:59:17 +0800 |
---|---|---|
committer | Iru Cai <mytbk920423@gmail.com> | 2019-02-03 13:58:10 +0800 |
commit | 8a7b5e6a5099ebeff9b8fb45f43d0d4c3dc0af8e (patch) | |
tree | 4dbe6ae16d0ce3662d0c348dc12bd419bd919460 | |
parent | 51d7fd6eb65484587130d2b920563bc6ddfd700d (diff) | |
download | liveusb-builder-8a7b5e6a5099ebeff9b8fb45f43d0d4c3dc0af8e.tar.xz |
add timeout for boot menu
-rw-r--r-- | functions.sh | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/functions.sh b/functions.sh index 45c6ac6..c83d1d8 100644 --- a/functions.sh +++ b/functions.sh @@ -163,6 +163,8 @@ syslinux_header() { cat << EOF UI menu.c32 +TIMEOUT 50 + MENU TITLE Live USB MENU COLOR border 30;44 #40ffffff #a0000000 std MENU COLOR title 1;36;44 #9033ccff #a0000000 std @@ -178,10 +180,10 @@ EOF } grubcfg_header() { - echo '# The live USB grub.cfg file' - - if [ -z "$TXTMODE" ]; then cat << 'EOF' +set default=0 +set timeout=5 + if [ ${grub_platform} == efi ]; then insmod all_video insmod font @@ -194,5 +196,4 @@ if [ ${grub_platform} == efi ]; then fi EOF - fi } |