This commit is contained in:
godalming123 2022-02-27 11:09:56 +00:00 committed by GitHub
parent bd31a5e64e
commit 7d2f19b4e1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions

View File

@ -305,11 +305,12 @@ grubTheme () {
set_option GRUB_THEME $grub_theme set_option GRUB_THEME $grub_theme
} }
# === show all the grub options ===
grubOptions () { grubOptions () {
clear clear
logo logo
grubInstall grubInstall
if ["$grub_install" == "yes"]; then if ["$grub_install" = "yes"]; then
grubTheme grubTheme
else else
set_option GRUB_THEME none set_option GRUB_THEME none