From b01e17e853fea619020e988c1db52d1f6fb5a426 Mon Sep 17 00:00:00 2001
From: Fernando Schauenburg <dev@schauenburg.me>
Date: Sat, 15 Jul 2023 17:20:13 +0200
Subject: [PATCH] debian: disable GRUB timeout

---
 debian.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/debian.sh b/debian.sh
index 39b848f..aa2283d 100755
--- a/debian.sh
+++ b/debian.sh
@@ -81,6 +81,11 @@ install_packages() {
   $cmd apt-file update
 }
 
+grub_disable_timeout() {
+  $cmd sed -i.original -e 's/^GRUB_TIMEOUT=.*/GRUB_TIMEOUT=0/' /etc/default/grub
+  $cmd update-grub
+}
+
 tweak_filesystem() {
   # Make `fd` available with the correct name.
   if [ -x /usr/bin/fdfind ]; then
@@ -215,6 +220,9 @@ execute() {
   heading "Install packages"
   install_packages
 
+  heading "Disable GRUB timeout"
+  grub_disable_timeout
+
   heading "Filesystem tweaks"
   tweak_filesystem