From 7b308f8fd44e44d9e8d00c6a0878b60df83fff15 Mon Sep 17 00:00:00 2001
From: Andrei Shevchuk <andrei@shevchuk.co>
Date: Wed, 27 Jun 2018 21:45:03 +0300
Subject: [PATCH] Make sure GRUB uses graphical output

---
 install.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/install.sh b/install.sh
index 16dbfde..78909aa 100644
--- a/install.sh
+++ b/install.sh
@@ -82,6 +82,9 @@ sudo cp -r ${THEME}-master/* /boot/${GRUB_DIR}/themes/${THEME}
 echo 'Removing other themes from GRUB config'
 sudo sed -i '/^GRUB_THEME=/d' /etc/default/grub
 
+echo 'Making sure GRUB uses graphical output'
+sudo sed -i 's/^\(GRUB_TERMINAL\w*=.*\)/#\1/' /etc/default/grub
+
 echo 'Removing empty lines at the end of GRUB config' # optional
 sudo sed -i -e :a -e '/^\n*$/{$d;N;};/\n$/ba' /etc/default/grub