From 6017ddb0a2ee8b32196e32fd891e91fe41a19f19 Mon Sep 17 00:00:00 2001 From: Adam Perkowski Date: Wed, 23 Oct 2024 16:25:46 +0200 Subject: [PATCH] check for `GRUB_TERMINAL_OUTPUT` --- install.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/install.sh b/install.sh index 12dd42e..6bf0888 100755 --- a/install.sh +++ b/install.sh @@ -105,6 +105,10 @@ function config_grub() { echo_info "sed -i '/GRUB_TIMEOUT_STYLE=/d' /etc/default/grub" sed -i '/GRUB_TIMEOUT_STYLE=/d' /etc/default/grub + # issue #16 + echo_info "sed -i '/GRUB_TERMINAL_OUTPUT=/d' /etc/default/grub" + sed -i '/GRUB_TERMINAL_OUTPUT=/d' /etc/default/grub + echo_info "echo 'GRUB_TIMEOUT_STYLE=\"menu\"' >> /etc/default/grub" echo 'GRUB_TIMEOUT_STYLE="menu"' >> /etc/default/grub