grub-editenv1
Edit grub environment block
Usage
grub-editenv [OPTION ...]
FILENAME
COMMAND
Overview
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. |
|
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/grub/grubenv is used.
There is no `delete' command; if you want to delete the whole environment block, use `rm /boot/grub/grubenv'.
Releases
10 releases since Debian 5.0 (Lenny); the text changed 9 times.
--usage since Debian 7 (Wheezy);
-? since Debian 7 (Wheezy).
-h until Debian 6.0 (Squeeze).