From e81d0a21e683544589586ce48b60ccfcd7381de4 Mon Sep 17 00:00:00 2001
From: Filippo Berto <berto.f@protonmail.com>
Date: Sat, 4 Oct 2025 22:13:20 +0200
Subject: [PATCH] Cleanup: sif hardware-config

---
 instances/sif/hardware-configuration.nix | 31 +++++++++---------------
 1 file changed, 11 insertions(+), 20 deletions(-)

diff --git a/instances/sif/hardware-configuration.nix b/instances/sif/hardware-configuration.nix
index 6bad970..d51e76b 100644
--- a/instances/sif/hardware-configuration.nix
+++ b/instances/sif/hardware-configuration.nix
@@ -1,16 +1,9 @@
 # Do not modify this file!  It was generated by ‘nixos-generate-config’
 # and may be overwritten by future invocations.  Please make changes
 # to /etc/nixos/configuration.nix instead.
-{ config
-, lib
-, modulesPath
-, ...
-}:
+{ config, lib, modulesPath, ... }: {
+  imports = [ (modulesPath + "/installer/scan/not-detected.nix") ];
 
-{
-  imports = [
-    (modulesPath + "/installer/scan/not-detected.nix")
-  ];
   boot = {
     initrd = {
       availableKernelModules = [
@@ -27,34 +20,32 @@
   };
 
   fileSystems = {
-   "/" =
-    { device = "/dev/disk/by-uuid/c3e09b0e-d2bc-4e28-a96e-5de7f4c10539";
+    "/" = {
+      device = "/dev/disk/by-uuid/c3e09b0e-d2bc-4e28-a96e-5de7f4c10539";
       fsType = "btrfs";
       options = [ "subvol=@root" ];
     };
 
-  "/nix" =
-    { device = "/dev/disk/by-uuid/c3e09b0e-d2bc-4e28-a96e-5de7f4c10539";
+    "/nix" = {
+      device = "/dev/disk/by-uuid/c3e09b0e-d2bc-4e28-a96e-5de7f4c10539";
       fsType = "btrfs";
       options = [ "subvol=@nix" ];
     };
 
-  "/home" =
-    { device = "/dev/disk/by-uuid/c3e09b0e-d2bc-4e28-a96e-5de7f4c10539";
+    "/home" = {
+      device = "/dev/disk/by-uuid/c3e09b0e-d2bc-4e28-a96e-5de7f4c10539";
       fsType = "btrfs";
       options = [ "subvol=@home" ];
     };
 
-  "/boot" =
-    { device = "/dev/disk/by-uuid/2E59-DAA6";
+    "/boot" = {
+      device = "/dev/disk/by-uuid/2E59-DAA6";
       fsType = "vfat";
       options = [ "fmask=0022" "dmask=0022" ];
     };
-
   };
 
-
-      swapDevices = [ { device = "/dev/disk/by-uuid/166f3bcd-7312-4864-9d2f-849da0a8fa79"; } ];
+  swapDevices = [{ device = "/dev/disk/by-uuid/166f3bcd-7312-4864-9d2f-849da0a8fa79"; }];
 
   # 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