doc: Update to the new 'grub-theme' procedure.

This is a follow-up commit to 9cdb10d52e:
gnu: grub: Allow a PNG image and replace "aspect-ratio" with "resolution".

* doc/guix.texi (Bootloader Configuration): Describe and use the 'grub-theme'
procedure instead of the removed '%default-theme' variable.
This commit is contained in:
Jan (janneke) Nieuwenhuizen 2020-05-24 22:27:32 +02:00 committed by Jan Nieuwenhuizen
parent 2ae11cd0a4
commit 0cbb5390e4
No known key found for this signature in database
GPG key ID: F3C1A0D9C1D65273

View file

@ -26983,14 +26983,14 @@ The GRUB @code{gfxmode} to set (a list of screen resolution strings, see
@end table
@end deftp
@defvr {Scheme Variable} %default-theme
This is the default GRUB theme used by the operating system if no
@deffn {Scheme Procedure} grub-theme
Return the default GRUB theme used by the operating system if no
@code{theme} field is specified in @code{bootloader-configuration}
record.
It comes with a fancy background image displaying the GNU and Guix
logos.
@end defvr
@end deffn
For example, to override the default resolution, you may use something
like
@ -27000,7 +27000,7 @@ like
(bootloader-configuration
;; @dots{}
(theme (grub-theme
(inherit %default-theme)
(inherit (grub-theme))
(gfxmode '("1024x786x32" "auto"))))))
@end lisp