DOKK / manpages / debian 12 / grub-common / grub-editenv.1.en
GRUB-EDITENV(1) User Commands GRUB-EDITENV(1)

grub-editenv - edit GRUB environment block

grub-editenv [OPTION...] FILENAME COMMAND

Tool to edit environment block.

Commands:
Create a blank environment block file.
List the current variables.
Set variables.
Delete variables.
Options:
-?, --help
give this help list
give a short usage message
print verbose messages.
print program version

If FILENAME is `-', the default value /boot/grub/grubenv is used.

There is no `delete' command; if you want to delete the whole environment block, use `rm /boot/grub/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.

October 2023 GRUB 2.06-13+deb12u1