diff --git a/hosts/host_001_momo_koeln/hardware-configuration.nix b/hosts/host_001_momo_koeln/hardware-configuration.nix index 39e05d60..b1b7611c 100644 --- a/hosts/host_001_momo_koeln/hardware-configuration.nix +++ b/hosts/host_001_momo_koeln/hardware-configuration.nix @@ -1,6 +1,9 @@ -{ config, pkgs, lib, ... }: - { + config, + pkgs, + lib, + ... +}: { # Use the GRUB 2 boot loader. boot.loader.systemd-boot.enable = false; boot.loader.grub.enable = true; @@ -11,28 +14,28 @@ # Define on which hard drive you want to install Grub. boot.loader.grub.device = "/dev/sda"; # or "nodev" for efi only - boot.initrd.availableKernelModules = [ "ahci" "xhci_pci" "virtio_pci" "sd_mod" "sr_mod" ]; - boot.initrd.kernelModules = [ "dm-snapshot" ]; - boot.kernelModules = [ "kvm-intel" ]; - boot.extraModulePackages = [ ]; + boot.initrd.availableKernelModules = ["ahci" "xhci_pci" "virtio_pci" "sd_mod" "sr_mod" "dm-snapshot"]; + boot.initrd.kernelModules = []; + boot.kernelModules = ["kvm-intel"]; + boot.extraModulePackages = []; boot.initrd.luks.devices."cryptroot" = { device = "/dev/disk/by-uuid/531ee357-5777-498f-abbf-64bb4cff9a14"; }; - fileSystems."/" = - { device = "/dev/disk/by-uuid/f5b3152a-a3bd-46d1-968f-53d50fca921e"; - fsType = "ext4"; - }; + fileSystems."/" = { + device = "/dev/disk/by-uuid/f5b3152a-a3bd-46d1-968f-53d50fca921e"; + fsType = "ext4"; + }; - fileSystems."/boot" = - { device = "/dev/disk/by-uuid/1fd053f8-725b-418d-aed1-aee71dac2b62"; - fsType = "ext4"; - }; + fileSystems."/boot" = { + device = "/dev/disk/by-uuid/1fd053f8-725b-418d-aed1-aee71dac2b62"; + fsType = "ext4"; + }; - swapDevices = - [ { device = "/dev/disk/by-uuid/46191ecf-244c-4445-b1c0-ae3059871a70"; } - ]; + swapDevices = [ + {device = "/dev/disk/by-uuid/967d1933-131d-4b56-8aa9-15c11ff940c9";} + ]; networking = { defaultGateway = "80.244.242.1";