debian: disable GRUB timeout

This commit is contained in:
Fernando Schauenburg 2023-07-15 17:20:13 +02:00
parent e4e74168eb
commit b01e17e853

View file

@ -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