From 4e98a4a37828f840aa067b5df1cfacee9b1d4609 Mon Sep 17 00:00:00 2001
From: Sravan Balaji <balajsra@umich.edu>
Date: Sun, 24 Mar 2024 10:44:26 -0400
Subject: [PATCH] Fix Disko Filepath / Grub Option

---
 profiles/personal/configuration.nix | 4 ++--
 system/hardware-configuration.nix   | 7 -------
 2 files changed, 2 insertions(+), 9 deletions(-)

diff --git a/profiles/personal/configuration.nix b/profiles/personal/configuration.nix
index db3dbf4..fce4e19 100644
--- a/profiles/personal/configuration.nix
+++ b/profiles/personal/configuration.nix
@@ -7,7 +7,7 @@
 {
   imports = [
     ../../system/hardware-configuration.nix
-    "../../disko/" + systemSettings.diskoConfig
+    ../../disko/${systemSettings.diskoConfig}.nix
   ];
 
   nix = {
@@ -28,7 +28,7 @@
       grub = {
         enable = true;
         efiSupport = true;
-        efiInstallAsRemovable = true;
+        device = "nodev";
       };
     };
   };
diff --git a/system/hardware-configuration.nix b/system/hardware-configuration.nix
index 9feae82..bb23f0b 100644
--- a/system/hardware-configuration.nix
+++ b/system/hardware-configuration.nix
@@ -13,13 +13,6 @@
   boot.kernelModules = [ ];
   boot.extraModulePackages = [ ];
 
-  fileSystems."/" =
-    { device = "/dev/disk/by-uuid/c7eb291a-684d-4f2b-b690-b368b268a8ac";
-      fsType = "ext4";
-    };
-
-  swapDevices = [ ];
-
   # Enables DHCP on each ethernet and wireless interface. In case of scripted networking
   # (the default) this is the recommended approach. When using systemd-networkd it's
   # still possible to use this option, but it's recommended to use it in conjunction