2025-01-23 14:26:51 +00:00
|
|
|
# Shinji
|
|
|
|
# System configuration for my laptop
|
2025-01-21 02:43:35 +00:00
|
|
|
|
2025-01-23 14:26:51 +00:00
|
|
|
{
|
|
|
|
inputs,
|
|
|
|
options,
|
|
|
|
...
|
|
|
|
}:
|
|
|
|
|
|
|
|
inputs.nixpkgs.lib.nixosSystem rec {
|
2025-01-21 02:43:35 +00:00
|
|
|
system = "x86_64-linux";
|
2025-01-23 14:26:51 +00:00
|
|
|
specialArgs = { inherit inputs; };
|
2025-01-21 02:43:35 +00:00
|
|
|
modules = [
|
|
|
|
options
|
2025-01-24 18:10:41 +00:00
|
|
|
../nix
|
2025-01-21 02:43:35 +00:00
|
|
|
{
|
|
|
|
# options
|
2025-01-24 18:06:22 +00:00
|
|
|
hostName = "shinji";
|
2025-01-23 14:26:51 +00:00
|
|
|
monitors = [{
|
2025-01-21 02:43:35 +00:00
|
|
|
name = "eDP-1";
|
|
|
|
scale = 1.25;
|
2025-01-23 14:26:51 +00:00
|
|
|
}];
|
2025-01-21 02:43:35 +00:00
|
|
|
|
2025-02-06 04:15:48 +00:00
|
|
|
# set power btn to suspend
|
|
|
|
services.logind.extraConfig = ''
|
|
|
|
HandlePowerKey=suspend
|
|
|
|
'';
|
|
|
|
|
2025-01-21 03:03:03 +00:00
|
|
|
# hardware
|
|
|
|
hardware.graphics.enable = true;
|
|
|
|
hardware.bluetooth.enable = true;
|
2025-01-22 15:06:45 +00:00
|
|
|
security.tpm2.enable = false;
|
2025-01-21 03:03:03 +00:00
|
|
|
|
2025-01-21 02:43:35 +00:00
|
|
|
# bootloader
|
2025-01-23 19:03:02 +00:00
|
|
|
boot.loader.systemd-boot.enable = true;
|
2025-01-22 15:06:45 +00:00
|
|
|
boot.loader.efi = {
|
|
|
|
canTouchEfiVariables = true;
|
|
|
|
efiSysMountPoint = "/boot/efi";
|
|
|
|
};
|
2025-01-21 02:43:35 +00:00
|
|
|
|
|
|
|
# kernel modules
|
|
|
|
boot.initrd.availableKernelModules = [
|
|
|
|
"nvme"
|
|
|
|
"xhci_pci"
|
|
|
|
"thunderbolt"
|
|
|
|
"usb_storage"
|
|
|
|
"sd_mod"
|
|
|
|
];
|
|
|
|
boot.initrd.kernelModules = [ ];
|
|
|
|
boot.kernelModules = [ "kvm-amd" ];
|
|
|
|
boot.extraModulePackages = [ ];
|
|
|
|
|
|
|
|
# firmware
|
|
|
|
hardware.enableRedistributableFirmware = true;
|
|
|
|
hardware.cpu.amd.updateMicrocode = true;
|
|
|
|
|
|
|
|
# luks device
|
|
|
|
boot.initrd.luks.devices."root".device = "/dev/disk/by-uuid/ad489bfa-4280-44ea-8ad2-60347b516d60";
|
|
|
|
|
|
|
|
# root
|
|
|
|
fileSystems."/" = {
|
|
|
|
device = "/dev/disk/by-uuid/b43a7cf6-b9aa-44c2-ad29-da24ffa56901";
|
|
|
|
fsType = "btrfs";
|
|
|
|
};
|
|
|
|
|
|
|
|
# boot
|
2025-01-22 15:06:45 +00:00
|
|
|
fileSystems."/boot/efi" = {
|
2025-01-21 02:43:35 +00:00
|
|
|
device = "/dev/disk/by-uuid/6F93-6A0B";
|
|
|
|
fsType = "vfat";
|
|
|
|
options = [ "fmask=0022" "dmask=0022" ];
|
|
|
|
};
|
|
|
|
|
|
|
|
# swap
|
|
|
|
swapDevices = [
|
|
|
|
{ device = "/dev/disk/by-uuid/57caa02d-8569-43e3-8bf9-09dd6f02b191"; }
|
|
|
|
];
|
|
|
|
}
|
|
|
|
];
|
|
|
|
}
|