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