From c381443f4357f4748feb6f08889fa3640fa456b1 Mon Sep 17 00:00:00 2001 From: Christian Hesse Date: Mon, 15 Feb 2021 07:05:35 +0000 Subject: [PATCH] update defaults --- PKGBUILD | 2 +- grub.default | 5 ++++- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/PKGBUILD b/PKGBUILD index 9d7524e..85547f8 100644 --- a/PKGBUILD +++ b/PKGBUILD @@ -77,7 +77,7 @@ sha256sums=('SKIP' 'a5198267ceb04dceb6d2ea7800281a42b3f91fd02da55d2cc9ea20d47273ca29' '06820004912a3db195a76e68b376fce1ba6507ac740129f0b99257ef07aba1ea' '55c559b6d8c4a832a43cc35c7635de37402ec9e3e3bfd8b2b7761a06f0bfda02' - '690adb7943ee9fedff578a9d482233925ca3ad3e5a50fffddd27cf33300a89e3') + '791fadf182edf8d5bee4b45c008b08adce9689a9624971136527891a8f67d206') _backports=( # grub-mkconfig: Use portable "command -v" to detect installed programs diff --git a/grub.default b/grub.default index d6d41a9..6fd21c7 100644 --- a/grub.default +++ b/grub.default @@ -51,4 +51,7 @@ GRUB_DISABLE_RECOVERY=true # Uncomment to make GRUB remember the last selection. This requires # setting 'GRUB_DEFAULT=saved' above. -#GRUB_SAVEDEFAULT="true" +#GRUB_SAVEDEFAULT=true + +# Uncomment to disable submenus in boot menu +#GRUB_DISABLE_SUBMENU=y