From da46abd88b0af86ea93c006ce17057a2d388c7f8 Mon Sep 17 00:00:00 2001
From: "Joshua M. Boniface" <joshua@boniface.me>
Date: Thu, 13 Jun 2019 23:10:07 -0400
Subject: [PATCH] Add 10s timeout on boot

---
 grub.cfg | 1 +
 menu.cfg | 1 +
 2 files changed, 2 insertions(+)

diff --git a/grub.cfg b/grub.cfg
index 0c4331a..718bdf9 100644
--- a/grub.cfg
+++ b/grub.cfg
@@ -27,6 +27,7 @@ if [ ${iso_path} ] ; then
 set loopback="findiso=${iso_path}"
 fi
 
+set timeout=10
 menuentry "PVC Live Installer" {
   linux  /live/vmlinuz boot=live components splash quiet "${loopback}"
   initrd /live/initrd.img
diff --git a/menu.cfg b/menu.cfg
index d9f9beb..6259e1b 100644
--- a/menu.cfg
+++ b/menu.cfg
@@ -1,6 +1,7 @@
 INCLUDE stdmenu.cfg
 MENU title PVC Live Installer
 DEFAULT PVC Live Installer
+TIMEOUT 10
 LABEL PVC Live Installer
   SAY "Booting PVC Live Installer..."
   linux /live/vmlinuz