feat: Hide grub menu

Press the shift key during boot to display the menu See: https://github.com/ublue-os/isogenerator/issues/71
EyeCantCU · Jun 6, 2023 · f8d1d07 · f8d1d07
1 parent 8e49b7f
commit f8d1d07
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/installer/kickstart/hide-grub.ks b/installer/kickstart/hide-grub.ks
@@ -0,0 +1,5 @@
+%include /tmp/ks-urls.txt
+
+%post --logfile=/root/ks-post.log --erroronfail --nochroot
+%ksappend /run/install/repo/kickstart/hide-grub.sh
+%end
diff --git a/installer/kickstart/hide-grub.sh b/installer/kickstart/hide-grub.sh
@@ -0,0 +1,11 @@
+#!/bin/sh
+set -oue pipefail
+
+grub2-editenv - set menu_auto_hide=1
+
+# Verify if EFI or legacy
+if [ -f "/usr/etc/grub2-efi.cfg" ]; then
+    grub2-mkconfig -o /usr/etc/grub2-efi.cfg
+else
+    grub2-mkconfig -o /boot/grub2/grub.cfg
+fi