GNU/Linux man pages
Livre :
Expressions régulières,
Syntaxe et mise en oeuvre :
GNU/Linux |
Debian 7.3.0(Wheezy) |
|
 |
grub-editenv(1) |
 |
grub-editenv − edit GRUB environment block
grub-editenv [OPTION...] FILENAME COMMAND
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.
−?, −−help
give this help list
−−usage
give a short usage message
−v, −−verbose
Print verbose messages.
−V, −−version
print program version
Options:
If FILENAME is ’−’, the default value /boot/grub/grubenv is used.
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.
|
grub-editenv(1) | |