Skip to content

Commit 8239008

Browse files
committed
Minor improvements in the configuration file
1 parent bd50877 commit 8239008

File tree

1 file changed

+6
-5
lines changed

1 file changed

+6
-5
lines changed

config/grub.config

Lines changed: 6 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -22,8 +22,14 @@ set imgdevpath="/dev/disk/by-uuid/$rootuuid"
2222
set pager=1
2323
set iso_dir="/ISOs"
2424
set os_dir="/os_files"
25+
set theme_path="/MultiOS-USB/themes/MultiOS-USB/theme.txt"
2526
export dev rootuuid imgdevpath iso_dir os_dir
2627

28+
if [ -e "$theme_path" ]; then
29+
set theme="$theme_path"
30+
export theme
31+
fi
32+
2733
if loadfont unicode; then
2834
if [ "${grub_platform}" == "efi" ]; then
2935
set gfxmode=auto
@@ -43,11 +49,6 @@ if loadfont unicode; then
4349
terminal_output gfxterm
4450
fi
4551

46-
if [ -e "/MultiOS-USB/themes/MultiOS-USB/theme.txt" ]; then
47-
set theme="/MultiOS-USB/themes/MultiOS-USB/theme.txt"
48-
export theme
49-
fi
50-
5152
function find_grub_cfg {
5253
submenu "Detect and boot from GRUB config file (grub.cfg) -->" {
5354
grubcfg_found=false

0 commit comments

Comments
 (0)