From 49ec78ea2e311b9d53bcdeb8d9650be07ccdf87b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jalil=20David=20Salam=C3=A9=20Messina?=
 <jalil.salame@gmail.com>
Date: Mon, 12 Feb 2024 18:32:59 +0100
Subject: [PATCH] feat(libra): Hide systemd-boot menu by default

Press and hold space during boot to show the menu.
---
 machines/libra/default.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/machines/libra/default.nix b/machines/libra/default.nix
index 2798f00..527f95c 100644
--- a/machines/libra/default.nix
+++ b/machines/libra/default.nix
@@ -28,9 +28,10 @@
   hardware.tuxedo-rs.tailor-gui.enable = true;
 
   # Use the systemd-boot EFI boot loader.
+  boot.loader.timeout = 0; # Press Space to show the menu
+  boot.loader.efi.canTouchEfiVariables = true;
   boot.loader.systemd-boot.enable = true;
   boot.loader.systemd-boot.configurationLimit = 10;
-  boot.loader.efi.canTouchEfiVariables = true;
 
   networking.hostName = "libra";
   networking.networkmanager.enable = true; # Easiest to use and most distros use this by default.