grub-editenv
edit GRUB environment block
see also :
grub-reboot - grub-set-default
Synopsis
grub-editenv
[OPTION...] FILENAME COMMAND
add an example, a script, a trick and tips
examples
no example yet ...
... Feel free to add your own example above to help other Linux-lovers !
description
Tool to edit
environment block.
Commands:
create
Create a blank environment block file.
list
List the current variables.
set [NAME=VALUE ...]
Set variables.
unset [NAME ...]
Delete variables.
-?,
--help
give this help list
--usage
give a short usage message
-v,
--verbose
print verbose messages.
-V,
--version
print program version
Options:
If FILENAME is
’-’, the default value
/boot/grub/grubenv is used.
reporting bugs
Report bugs to <bug-grub[:at:]gnu[:dot:]org>.
see also
grub-reboot ,
grub-set-default
The full
documentation for grub-editenv is maintained as a
Texinfo manual. If the info and grub-editenv
programs are properly installed at your site, the
command
info
grub-editenv
should give you
access to the complete manual.