grub-editenv(1) - phpMan

GRUB-EDITENV(1)                           User Commands                           GRUB-EDITENV(1)

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.

              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'.

REPORTING BUGS
       Report bugs to <bug-grub AT 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.

grub-editenv 2.04-1ubuntu26.17            December 2022                           GRUB-EDITENV(1)

Generated by $Id: phpMan.php,v 4.55 2007/09/05 04:42:51 chedong Exp $ Author: Che Dong
On Apache
Under GNU General Public License
2024-04-20 02:12 @3.16.48.143 CrawledBy Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)