aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorJan (janneke) Nieuwenhuizen <janneke@gnu.org>2020-05-24 22:27:32 +0200
committerJan Nieuwenhuizen <janneke@gnu.org>2020-05-24 22:36:19 +0200
commit0cbb5390e4722d985d758cb788139fa86f7764c9 (patch)
tree3161e9650bb355588aebbcd12e372c6088c33662 /doc
parent2ae11cd0a43bfd8c0106afc620c2e5be1cecef78 (diff)
downloadguix-0cbb5390e4722d985d758cb788139fa86f7764c9.tar
guix-0cbb5390e4722d985d758cb788139fa86f7764c9.tar.gz
doc: Update to the new 'grub-theme' procedure.
This is a follow-up commit to 9cdb10d52e34f7e8fa3b6238fe268646a4bbb877: 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.
Diffstat (limited to 'doc')
-rw-r--r--doc/guix.texi8
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index 2b1f307c2d..aa2b316c90 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -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