HiveBrain v1.2.0
Get Started
← Back to all entries
snippetbashTip

grub-editenv — Edit GRUB environment variables. More information: <https://www.gnu.org/software/grub/manual/grub/gr

Submitted by: @import:tldr-pages··
0
Viewed 0 times
grub-editenvtldrcommand-lineclilinux
grub-editenvcommandclienvironmenteditvariablesmoregrub
linux

Problem

How to use the grub-editenv command: Edit GRUB environment variables. More information: <https://www.gnu.org/software/grub/manual/grub/grub.html>.

Solution

grub-editenv — Edit GRUB environment variables. More information: <https://www.gnu.org/software/grub/manual/grub/grub.html>.

Set a default boot entry (Assuming the boot entry already exists):
grub-editenv /boot/grub/grubenv set default={{Ubuntu}}


Display all GRUB environment variables:
grub-editenv /boot/grub/grubenv list


Reset the saved_entry variable to the default:
grub-editenv /boot/grub/grubenv unset saved_entry

Code Snippets

Set a default boot entry (Assuming the boot entry already exists)

grub-editenv /boot/grub/grubenv set default={{Ubuntu}}

Display all GRUB environment variables

grub-editenv /boot/grub/grubenv list

Reset the `saved_entry` variable to the default

grub-editenv /boot/grub/grubenv unset saved_entry

Context

tldr-pages: linux/grub-editenv

Revisions (0)

No revisions yet.