Fix Disko Filepath / Grub Option

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";
       };
     };
   };

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