From b35049c14f51b5d68794846b788f201f8d43437c Mon Sep 17 00:00:00 2001 From: Sayuri Kamble <68416000+SAYUK09@users.noreply.github.com> Date: Wed, 25 Oct 2023 19:28:11 +0530 Subject: [PATCH] grub-editenv: add page (#11218) * grub-editenv: add page --------- Co-authored-by: Magrid Co-authored-by: K.B.Dharun Krishna --- pages/linux/grub-editenv.md | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 pages/linux/grub-editenv.md diff --git a/pages/linux/grub-editenv.md b/pages/linux/grub-editenv.md new file mode 100644 index 000000000..03baa0bf8 --- /dev/null +++ b/pages/linux/grub-editenv.md @@ -0,0 +1,20 @@ +# grub-editenv + +> Edit GRUB environment variables. +> More information: . + +- 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`