grub2-editenv - Man Page

grub-editenv [OPTION...] FILENAME COMMAND

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'.

Report bugs to <bug-grub@gnu.org>.

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.