Header Ads Widget

[MAN] grub-editenv

Content-type: text/html; charset=UTF-8 Man page of GRUB-EDITENV

GRUB-EDITENV

Section: User Commands (1)
Updated: February 2021
Index Return to Main Contents
 

NAME

grub-editenv - edit GRUB environment block  

SYNOPSIS

grub-editenv [,OPTION/...] ,FILENAME COMMAND/  

DESCRIPTION

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.

There is no `delete' command; if you want to delete the whole environment block, use `rm /boot/grub/grubenv'.  

REPORTING BUGS

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

SEE ALSO

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.


 

Index

NAME
SYNOPSIS
DESCRIPTION
REPORTING BUGS
SEE ALSO

This document was created by man2html, using the manual pages.
Time: 04:45:26 GMT, September 16, 2022

댓글 쓰기

0 댓글