default.nix (1893B)
1 # Do not modify this file! It was generated by ‘nixos-generate-config’ 2 # and may be overwritten by future invocations. Please make changes 3 # to /etc/nixos/configuration.nix instead. 4 { 5 config, 6 lib, 7 pkgs, 8 modulesPath, 9 ... 10 }: 11 12 { 13 imports = [ 14 (modulesPath + "/installer/scan/not-detected.nix") 15 ]; 16 17 boot.initrd.availableKernelModules = [ 18 "xhci_pci" 19 "ahci" 20 "usb_storage" 21 "sd_mod" 22 ]; 23 boot.initrd.kernelModules = [ "dm-snapshot" ]; 24 boot.kernelModules = [ "kvm-intel" ]; 25 boot.extraModulePackages = [ ]; 26 27 boot.loader = { 28 efi.canTouchEfiVariables = true; 29 grub = { 30 enable = true; 31 efiSupport = true; 32 device = "nodev"; 33 }; 34 }; 35 36 boot.initrd.luks.devices.cryptroot = { 37 device = "/dev/disk/by-uuid/d661ebe7-e992-4ea9-980e-d5e38a2a674a"; 38 preLVM = true; 39 }; 40 41 fileSystems."/" = { 42 device = "/dev/disk/by-uuid/cc424a25-87da-4356-90e7-162bfcc66986"; 43 fsType = "ext4"; 44 }; 45 46 fileSystems."/boot" = { 47 device = "/dev/disk/by-uuid/4243-C55D"; 48 fsType = "vfat"; 49 options = [ 50 "fmask=0022" 51 "dmask=0022" 52 ]; 53 }; 54 55 swapDevices = [ 56 { device = "/dev/disk/by-uuid/93468f56-3367-4a21-b9dc-41278bfdc3bc"; } 57 ]; 58 59 # Enables DHCP on each ethernet and wireless interface. In case of scripted networking 60 # (the default) this is the recommended approach. When using systemd-networkd it's 61 # still possible to use this option, but it's recommended to use it in conjunction 62 # with explicit per-interface declarations with `networking.interfaces.<interface>.useDHCP`. 63 networking.useDHCP = lib.mkDefault true; 64 # networking.interfaces.enp0s31f6.useDHCP = lib.mkDefault true; 65 # networking.interfaces.wlp4s0.useDHCP = lib.mkDefault true; 66 67 nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux"; 68 hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware; 69 }