diff options
Diffstat (limited to 'images/make_boot_img')
| -rwxr-xr-x | images/make_boot_img | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/images/make_boot_img b/images/make_boot_img index 8588850bd..e9544d8f6 100755 --- a/images/make_boot_img +++ b/images/make_boot_img @@ -13,7 +13,7 @@ my $default_append = ''; my $default_acpi = ''; my $default_vga = "vga=788 splash quiet"; my $default_iswmd = "noiswmd"; -my $timeout = 150; +my $timeout = $ENV{BOOT_AUTOMATIC_METHOD} ? 5 : 150; my $lib = $arch eq 'x86_64' ? 'lib64' : 'lib'; my $isolinux_bin = '/usr/lib/syslinux/isolinux.bin'; @@ -359,6 +359,7 @@ sub boot_iso { _ "cp -f grub2.config .boot_iso/EFI/BOOT/grub.cfg"; if ($ENV{BOOT_AUTOMATIC_METHOD}) { _ "sed -i 's#\\(linux .*\\)#\\1 automatic=$ENV{BOOT_AUTOMATIC_METHOD}#' .boot_iso/EFI/BOOT/grub.cfg"; + _ "sed -i 's#timeout=[0-9]*#timeout=1#' .boot_iso/EFI/BOOT/grub.cfg"; } # add theme _ "cp -r /boot/grub2/{fonts,themes} .boot_iso/EFI/BOOT/"; |