system: grub: Make sure the font and background image are always found. * gnu/system/grub.scm (eye-candy): Add 'search --file --set'.
1 files changed, 4 insertions(+), 1 deletions(-) M gnu/system/grub.scm
M gnu/system/grub.scm => gnu/system/grub.scm +4 -1
@@ 170,6 170,9 @@ function load_video { insmod video_cirrus } # Set 'root' to the partition that contains /gnu/store. search --file --set ~a/share/grub/unicode.pf2 if loadfont ~a/share/grub/unicode.pf2; then set gfxmode=640x480 load_video @@ 185,7 188,7 @@ else set menu_color_normal=cyan/blue set menu_color_highlight=white/blue fi~%" #$grub #$grub #$grub #$image #$(theme-colors grub-theme-color-normal) #$(theme-colors grub-theme-color-highlight))))))