From de8c4dabcb5904fb0931df6589adc673a00ad89c Mon Sep 17 00:00:00 2001 From: godalming123 Date: Sun, 27 Feb 2022 11:35:39 +0000 Subject: [PATCH] fix bugs --- scripts/startup.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/startup.sh b/scripts/startup.sh index 0981f29..b6699b6 100755 --- a/scripts/startup.sh +++ b/scripts/startup.sh @@ -310,7 +310,7 @@ grubOptions () { clear logo grubInstall - if ["$grub_install" = "yes"]; then + if [[ "$grub_install" == "yes" ]]; then grubTheme else set_option GRUB_THEME none