![]() |
![]()
| ![]() |
![]()
NAMEgrub-editenv - edit GRUB environment block SYNOPSISgrub-editenv [OPTION...] FILENAME COMMAND DESCRIPTIONTool to edit environment block.
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 BUGSReport bugs to <bug-grub@gnu.org>. SEE ALSOgrub-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
should give you access to the complete manual.
|