grub-editenv: add page (#11218)

* grub-editenv: add page

---------

Co-authored-by: Magrid <magrid0@proton.me>
Co-authored-by: K.B.Dharun Krishna <kbdharunkrishna@gmail.com>
pull/23/head
Sayuri Kamble 2023-10-25 19:28:11 +05:30 committed by GitHub
parent 288b72d2d0
commit b35049c14f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 20 additions and 0 deletions

View File

@ -0,0 +1,20 @@
# 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 the current value of the `timeout` variable:
`grub-editenv /boot/grub/grubenv list timeout`
- Reset the `saved_entry` variable to the default:
`grub-editenv /boot/grub/grubenv unset saved_entry`
- Append "quiet splash" to the kernel command line:
`grub-editenv /boot/grub/grubenv list kernel_cmdline`