From 5ed728757f76e22ed7298293734893c28f31e4a3 Mon Sep 17 00:00:00 2001
From: Johan Degn <54548365+johandegn@users.noreply.github.com>
Date: Tue, 7 Mar 2023 12:08:28 +0100
Subject: [PATCH] grub-set-default: add page (#9915)

---
 pages/linux/grub-set-default.md | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 pages/linux/grub-set-default.md

diff --git a/pages/linux/grub-set-default.md b/pages/linux/grub-set-default.md
new file mode 100644
index 000000000..f1435d9ff
--- /dev/null
+++ b/pages/linux/grub-set-default.md
@@ -0,0 +1,12 @@
+# grub-set-default
+
+> Set the default boot entry for GRUB.
+> More information: <https://manned.org/grub-set-default>.
+
+- Set the default boot entry to an entry number, name or identifier:
+
+`sudo grub-set-default {{entry_number}}`
+
+- Set the default boot entry to an entry number, name or identifier for an alternative boot directory:
+
+`sudo grub-set-default --boot-directory {{/path/to/boot_directory}} {{entry_number}}`