From d9b4638c50b16d4722e66d334e2c1a674b4a45cc Mon Sep 17 00:00:00 2001 From: "Andrea G. Monaco" Date: Sat, 9 Jan 2021 19:30:34 +0100 Subject: [PATCH] docs: Add a link to environment variables This is trivial, but it might save some time to beginners. Signed-off-by: Andrea G. Monaco Reviewed-by: Glenn Washburn Reviewed-by: Daniel Kiper --- docs/grub.texi | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/grub.texi b/docs/grub.texi index 547923107..107f66ebc 100644 --- a/docs/grub.texi +++ b/docs/grub.texi @@ -5412,7 +5412,9 @@ This command is only available on PC BIOS systems. @deffn Command set [envvar=value] Set the environment variable @var{envvar} to @var{value}. If invoked with no -arguments, print all environment variables with their values. +arguments, print all environment variables with their values. For the list of +environment variables currently used by GRUB itself see the relevant section +@pxref{Environment}. @end deffn -- 2.47.3