man > grub-editenv(1)

🏷️ NAME

grub-editenv - edit GRUB environment block

🚀 Quick Reference

Use CaseCommandDescription
📋 List variablesgrub-editenv - listShow current environment variables
✨ Create new environmentgrub-editenv - createCreate blank environment block file
✍️ Set variablegrub-editenv - set key=valSet a variable in the environment
❌ Unset variablegrub-editenv - unset keyRemove a variable
🗑️ Delete entire environmentrm /boot/grub/grubenvRemove the whole block file (no built-in delete)

📜 SYNOPSIS

grub-editenv [OPTION...] FILENAME COMMAND

📖 Description

Tool to edit environment block.

🛠️ Commands

⚙️ 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 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(1)
🏷️ NAME 🚀 Quick Reference 📜 SYNOPSIS 📖 Description
🛠️ Commands ⚙️ Options
🐞 Reporting Bugs 📚 See Also

Generated by phpman v4.9.29 · Markdown · JSON · MCP Author: Che Dong Under GNU General Public License
2026-07-22 03:33 @2600:1f28:365:80b0:8802:8bb4:3873:328e
CrawledBy CCBot/2.0 (https://commoncrawl.org/faq/)
Valid XHTML 1.0 Transitional!Valid CSS!
Enhanced by LLM: deepseek-v4-flash / taotoken.net / www.chedong.com - original format