Update config

nixos-configurations/pc/default.nix

@@ -12,8 +12,14 @@
   networking = {
     hostName = "pc";
     firewall = {
-      allowedTCPPorts = [ 5173 8081 ];
-      allowedUDPPorts = [ 5173 8081 ];
+      allowedTCPPorts = [
+        5173
+        8081
+      ];
+      allowedUDPPorts = [
+        5173
+        8081
+      ];
     };
   };
 
@@ -55,13 +61,17 @@
     ''}"
   ];
 
-  home-manager.users.thiloho = { pkgs, lib, ... }: {
-    programs.git.signing.key = "5ECD00BDC15A987E";
-    home = {
-      packages = with pkgs; [ blender inkscape ];
-      stateVersion = "23.05";
+  home-manager.users.thiloho =
+    { pkgs, lib, ... }:
+    {
+      programs.git.signing.key = "5FED02C109365F87";
+      home = {
+        packages = with pkgs; [
+          blender
+          inkscape
+        ];
+        stateVersion = "23.05";
+      };
     };
-  };
   system.stateVersion = "23.05";
 }
-

nixos-configurations/pc/hardware-configuration.nix

@@ -1,32 +1,44 @@
 # 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, ... }:
+{
+  config,
+  lib,
+  pkgs,
+  modulesPath,
+  ...
+}:
 
 {
-  imports =
-    [ (modulesPath + "/installer/scan/not-detected.nix")
-    ];
+  imports = [ (modulesPath + "/installer/scan/not-detected.nix") ];
 
-  boot.initrd.availableKernelModules = [ "xhci_pci" "ahci" "nvme" "usb_storage" "usbhid" "sd_mod" ];
+  boot.initrd.availableKernelModules = [
+    "xhci_pci"
+    "ahci"
+    "nvme"
+    "usb_storage"
+    "usbhid"
+    "sd_mod"
+  ];
   boot.initrd.kernelModules = [ ];
   boot.kernelModules = [ "kvm-amd" ];
   boot.extraModulePackages = [ ];
 
-  fileSystems."/" =
-    { device = "/dev/disk/by-uuid/9e4f1090-bb46-4fd8-9a2d-e053c08af7d0";
-      fsType = "ext4";
-    };
+  fileSystems."/" = {
+    device = "/dev/disk/by-uuid/9e4f1090-bb46-4fd8-9a2d-e053c08af7d0";
+    fsType = "ext4";
+  };
 
-  fileSystems."/boot" =
-    { device = "/dev/disk/by-uuid/D4D5-F5A5";
-      fsType = "vfat";
-      options = [ "fmask=0077" "dmask=0077" ];
-    };
-
-  swapDevices =
-    [ { device = "/dev/disk/by-uuid/54590048-bdf2-4faa-8176-f6e1d582c357"; }
+  fileSystems."/boot" = {
+    device = "/dev/disk/by-uuid/D4D5-F5A5";
+    fsType = "vfat";
+    options = [
+      "fmask=0077"
+      "dmask=0077"
     ];
+  };
+
+  swapDevices = [ { device = "/dev/disk/by-uuid/54590048-bdf2-4faa-8176-f6e1d582c357"; } ];
 
   # 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