From d64a4b837ec33869e97f0842ba6afd7782f361c9 Mon Sep 17 00:00:00 2001
From: cswimr <seaswimmerthefsh@gmail.com>
Date: Thu, 28 Nov 2024 22:34:07 -0500
Subject: [PATCH] switch from `systemd-boot` to `grub`

---
 nixos/catppuccin.nix    |  5 -----
 nixos/configuration.nix | 11 ++++++++++-
 2 files changed, 10 insertions(+), 6 deletions(-)

diff --git a/nixos/catppuccin.nix b/nixos/catppuccin.nix
index eb042a7..59fe4bd 100644
--- a/nixos/catppuccin.nix
+++ b/nixos/catppuccin.nix
@@ -1,9 +1,4 @@
 { pkgs, ... }: {
-  # catppuccin for grub
-  boot.loader.grub.theme = pkgs.catppuccin-grub.override {
-    flavor = "mocha";
-  };
-
   environment.systemPackages = with pkgs; [
     # catppuccin
     (catppuccin.override {
diff --git a/nixos/configuration.nix b/nixos/configuration.nix
index 9e65892..ee8c985 100755
--- a/nixos/configuration.nix
+++ b/nixos/configuration.nix
@@ -14,7 +14,16 @@
   boot.kernelPackages = pkgs.linuxPackages_latest;
 
   # Bootloader.
-  boot.loader.systemd-boot.enable = true;
+  boot.loader.grub = {
+    enable = true;
+    efiSupport = true;
+    device = "nodev";
+    extraEntries = ''
+      menuentry "Firmware Setup" {
+        fwsetup
+      }
+    '';
+  };
   boot.loader.efi.canTouchEfiVariables = true;
 
   networking.hostName = hostname; # Define your hostname.