1GRUB-EDITENV(1)                  User Commands                 GRUB-EDITENV(1)
2
3
4

NAME

6       grub-editenv - edit GRUB environment block
7

SYNOPSIS

9       grub-editenv [OPTION...] FILENAME COMMAND
10

DESCRIPTION

12       Tool to edit environment block.
13
14              Commands:
15
16       create Create a blank environment block file.
17
18       incr [NAME ...]
19              Increase value of integer variables.
20
21       list   List the current variables.
22
23       set [NAME=VALUE ...]
24              Set variables.
25
26       unset [NAME ...]
27              Delete variables.
28
29              Options:
30
31       -?, --help
32              give this help list
33
34       --usage
35              give a short usage message
36
37       -v, --verbose
38              print verbose messages.
39
40       -V, --version
41              print program version
42
43       If FILENAME is `-', the default value /boot/grub2/grubenv is used.
44
45       There  is no `delete' command; if you want to delete the whole environ‐
46       ment block, use `rm /boot/grub2/grubenv'.
47

REPORTING BUGS

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

SEE ALSO

52       grub-reboot(8), grub-set-default(8)
53
54       The full documentation for grub-editenv is maintained as a Texinfo man‐
55       ual.   If  the info and grub-editenv programs are properly installed at
56       your site, the command
57
58              info grub-editenv
59
60       should give you access to the complete manual.
61
62
63
64GRUB 2.06                        December 2023                 GRUB-EDITENV(1)