Section 1 · User commands
grub2-editenv.1
Package: grub2-tools-minimal
GRUB-EDITENV
NAME
SYNOPSIS
DESCRIPTION
REPORTING BUGS
SEE ALSO
NAME
grub-editenv − edit GRUB environment block
SYNOPSIS
grub-editenv [OPTION…] FILENAME COMMAND
DESCRIPTION
Tool to edit environment block.
Commands:
| create | Create a blank environment block file. |
incr [NAME …]
Increase value of integer variables.
| list | List the current variables. |
set [NAME=VALUE …]
Set variables.
unset [NAME …]
Delete variables.
Options:
−?, −−help
give this help list
−−usage
give a short usage message
−v, −−verbose
print verbose messages.
−V, −−version
print program version
If FILENAME is ‘−’, the default value /boot/grub2/grubenv is used.
There is no ‘delete’ command; if you want to delete the whole environment block, use ‘rm /boot/grub2/grubenv’.
REPORTING BUGS
Report bugs to <bug−grub@gnu.org>.
SEE ALSO
grub-reboot(8), grub-set-default(8)
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.