Rechercher une page de manuel
grub-editenv
Langue: en
Version: October 2010 (ubuntu - 24/10/10)
Section: 1 (Commandes utilisateur)
NAME
grub-editenv - edit GRUB environment blockSYNOPSIS
grub-editenv [OPTIONS] [FILENAME] COMMANDDESCRIPTION
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
- -h, --help
- display this message and exit
- -V, --version
- print version information and exit
- -v, --verbose
- print verbose messages
If not given explicitly, FILENAME defaults to /boot/grub/grubenv.
REPORTING BUGS
Report bugs to <bug-grub@gnu.org>.Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre