From 1af1dc3fb7992ee6f8f062ebacc512886e5704d5 Mon Sep 17 00:00:00 2001
From: Oliver Davies <oliver@oliverdavies.uk>
Date: Thu, 15 Jun 2023 19:33:41 +0100
Subject: [PATCH] feat(nixos): faster reboots

---
 system/nixos/nixedo/configuration.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/system/nixos/nixedo/configuration.nix b/system/nixos/nixedo/configuration.nix
index dbbddcc2..2c7f8070 100644
--- a/system/nixos/nixedo/configuration.nix
+++ b/system/nixos/nixedo/configuration.nix
@@ -36,7 +36,9 @@ in
   boot.loader.efi.canTouchEfiVariables = true;
   boot.loader.efi.efiSysMountPoint = "/boot/efi";
 
-  boot.kernelPackages = pkgs.linuxPackages_latest;
+  systemd.extraConfig = ''
+    DefaultTimeoutStopSec=10s
+  '';
 
   networking.hostName = "nixedo"; # Define your hostname.
   # networking.wireless.enable = true;  # Enables wireless support via wpa_supplicant.