From 571ed6ff19706a28369394fabfce4d0260df9911 Mon Sep 17 00:00:00 2001
From: Donovan Glover <donovan@dglover.co>
Date: Mon, 10 Sep 2018 17:05:46 -0400
Subject: [PATCH] Add GRUB_TIMEOUT=0

---
 sh/install/022-grub | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/sh/install/022-grub b/sh/install/022-grub
index 724279f..16cc909 100644
--- a/sh/install/022-grub
+++ b/sh/install/022-grub
@@ -9,4 +9,13 @@ set -xe
 
 arch-chroot /mnt grub-install /dev/sda
 
+# This should work, since /etc/default/grub should exist after
+# installing the grub package with pacman, although it hasn't
+# been tested yet. This prevents the GRUB window from showing
+# at boot, which is ideal for single operating system machines.
+#
+# In the future, if you need to use grub, simply chroot into
+# your system, edit the config file, and grub-mkconfig once more.
+sed -i '/GRUB_TIMEOUT/c\GRUB_TIMEOUT=0' /etc/default/grub
+
 arch-chroot /mnt grub-mkconfig -o /boot/grub/grub.cfg