summaryrefslogtreecommitdiff
path: root/gnu/system/grub.scm
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2014-12-13 22:15:01 +0100
committerLudovic Courtès <ludo@gnu.org>2014-12-13 22:15:01 +0100
commitccc2678b0d43dd2c265502805312710b3f5d5459 (patch)
treec1494617e7002044196438feb2b3e7687c7c8c09 /gnu/system/grub.scm
parent6c777cf88c84c164e825f6e875bb4d2812892ed9 (diff)
downloadpatches-ccc2678b0d43dd2c265502805312710b3f5d5459.tar
patches-ccc2678b0d43dd2c265502805312710b3f5d5459.tar.gz
system: grub: Make sure the font and background image are always found.
* gnu/system/grub.scm (eye-candy): Add 'search --file --set'.
Diffstat (limited to 'gnu/system/grub.scm')
-rw-r--r--gnu/system/grub.scm5
1 files changed, 4 insertions, 1 deletions
diff --git a/gnu/system/grub.scm b/gnu/system/grub.scm
index 76fde20896..ecffee3112 100644
--- a/gnu/system/grub.scm
+++ b/gnu/system/grub.scm
@@ -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))))))