fix bugs
This commit is contained in:
parent
7d2f19b4e1
commit
de8c4dabcb
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Reference in New Issue