diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-12-13 22:15:01 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-12-13 22:15:01 +0100 |
| commit | ccc2678b0d43dd2c265502805312710b3f5d5459 (patch) | |
| tree | c1494617e7002044196438feb2b3e7687c7c8c09 /gnu/system | |
| parent | 6c777cf88c84c164e825f6e875bb4d2812892ed9 (diff) | |
| download | patches-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')
| -rw-r--r-- | gnu/system/grub.scm | 5 |
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)))))) |