From 00c7b72fcdbd0310f06df9a7d05be63603e93f33 Mon Sep 17 00:00:00 2001 From: marty Date: Wed, 17 Dec 2025 15:53:35 +0000 Subject: [PATCH] laptop lives! --- marty-latitude.nix | 42 ++++++++++++++++-------------------------- 1 file changed, 16 insertions(+), 26 deletions(-) diff --git a/marty-latitude.nix b/marty-latitude.nix index 0734164..77229f6 100644 --- a/marty-latitude.nix +++ b/marty-latitude.nix @@ -21,38 +21,29 @@ }; # PREVIOUSLY HARDWARE-CONFIGURATION.NIX - imports = [ - (modulesPath + "/installer/scan/not-detected.nix") - ]; + imports = + [ (modulesPath + "/installer/scan/not-detected.nix") + ]; - boot.initrd.availableKernelModules = [ - "xhci_pci" - "ahci" - "usb_storage" - "sd_mod" - "rtsx_pci_sdmmc" - ]; + boot.initrd.availableKernelModules = [ "xhci_pci" "ahci" "usb_storage" "sd_mod" "rtsx_pci_sdmmc" ]; boot.initrd.kernelModules = [ ]; boot.kernelModules = [ "kvm-intel" ]; boot.extraModulePackages = [ ]; - fileSystems."/" = { - device = "/dev/disk/by-uuid/757b8bfc-0b5d-4ec1-9ab7-7876848ae411"; - fsType = "ext4"; - }; + fileSystems."/" = + { device = "/dev/disk/by-uuid/867e1bdf-87c8-4f74-9a9e-c2d897644518"; + fsType = "ext4"; + }; - fileSystems."/boot" = { - device = "/dev/disk/by-uuid/C8A8-A568"; - fsType = "vfat"; - options = [ - "fmask=0077" - "dmask=0077" + fileSystems."/boot" = + { device = "/dev/disk/by-uuid/D9F7-437B"; + fsType = "vfat"; + options = [ "fmask=0077" "dmask=0077" ]; + }; + + swapDevices = + [ { device = "/dev/disk/by-uuid/8dff6670-2f63-44e3-a2e5-1966ebbd4fbf"; } ]; - }; - - swapDevices = [ - { device = "/dev/disk/by-uuid/a1838708-fb00-4ecb-8010-432d06182591"; } - ]; # 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 @@ -64,5 +55,4 @@ nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux"; hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware; - }