formated using alejandra

hosts/loki/default.nix

@@ -1,18 +1,22 @@
-{ inputs, outputs, lib, config, pkgs, ... }:
-
 {
-  imports =
-    [
-      inputs.nixos-hardware.nixosModules.dell-xps-13-9310
-      inputs.stylix.nixosModules.stylix
-      ./hardware-configuration.nix
-      # ../disko/nvme.nix
-      ../workstation
-      ../workstation/kvm.nix
-      ../workstation/games
-      ../wm
-      ../themes.nix
-      ../../home/work
-    ];
+  inputs,
+  outputs,
+  lib,
+  config,
+  pkgs,
+  ...
+}: {
+  imports = [
+    inputs.nixos-hardware.nixosModules.dell-xps-13-9310
+    inputs.stylix.nixosModules.stylix
+    ./hardware-configuration.nix
+    # ../disko/nvme.nix
+    ../workstation
+    ../workstation/kvm.nix
+    ../workstation/games
+    ../wm
+    ../themes.nix
+    ../../home/work
+  ];
   networking.hostName = "loki";
 }

hosts/loki/hardware-configuration.nix

@@ -1,31 +1,35 @@
 # 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, pkgs, modulesPath, ... }:
-
 {
-  imports =
-    [ (modulesPath + "/installer/scan/not-detected.nix")
-    ];
+  config,
+  lib,
+  pkgs,
+  modulesPath,
+  ...
+}: {
+  imports = [
+    (modulesPath + "/installer/scan/not-detected.nix")
+  ];
 
-  boot.initrd.availableKernelModules = [ "xhci_pci" "thunderbolt" "nvme" "uas" "sd_mod" "rtsx_pci_sdmmc" ];
-  boot.initrd.kernelModules = [ ];
-  boot.kernelModules = [ "kvm-intel" ];
-  boot.extraModulePackages = [ ];
+  boot.initrd.availableKernelModules = ["xhci_pci" "thunderbolt" "nvme" "uas" "sd_mod" "rtsx_pci_sdmmc"];
+  boot.initrd.kernelModules = [];
+  boot.kernelModules = ["kvm-intel"];
+  boot.extraModulePackages = [];
 
-  fileSystems."/" =
-    { device = "/dev/nvme0n1p2";
-      fsType = "ext4";
-    };
+  fileSystems."/" = {
+    device = "/dev/nvme0n1p2";
+    fsType = "ext4";
+  };
 
-  fileSystems."/boot" =
-    { device = "/dev/nvme0n1p1";
-      fsType = "vfat";
-    };
+  fileSystems."/boot" = {
+    device = "/dev/nvme0n1p1";
+    fsType = "vfat";
+  };
 
-#  swapDevices =
-#    [ { device = "/dev/disk/by-uuid/cc3e6f81-e0c6-41f7-a02e-49dcaf8b795a"; }
-#    ];
+  #  swapDevices =
+  #    [ { device = "/dev/disk/by-uuid/cc3e6f81-e0c6-41f7-a02e-49dcaf8b795a"; }
+  #    ];
 
   # 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

hosts/loki/kernel.nix

@@ -1,5 +1,7 @@
-{ config, pkgs, ... }:
-
 {
-  boot.kernelModules = [ "axge" "ax88179_178a" ];
+  config,
+  pkgs,
+  ...
+}: {
+  boot.kernelModules = ["axge" "ax88179_178a"];
 }