machines/sternenseemann/ludwig.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105

{ config, lib, pkgs, ... }:

{
  imports = [
    ./base.nix
    ./base-laptop.nix
    ./fonts.nix
    ./user-lukas.nix
  ];

  config = {
    hardware.bluetooth.enable = false;

    nixpkgs = {
      localSystem = {
        system = "i686-linux";
        config = "i686-unknown-linux-gnu";
      };

      overlays = [
        (self: super: {
          tlp = super.tlp.overrideAttrs (_: {
            # Avoid crash in pandoc which is a check dependency of tlp
            # https://gitlab.haskell.org/ghc/ghc/-/issues/22002
            doCheck = false;
          });

          upower = super.upower.overrideAttrs (_: {
            # https://gitlab.freedesktop.org/upower/upower/-/issues/214
            doCheck = false;
          });

          spidermonkey_91 = super.spidermonkey_91.overrideAttrs (old: {
            # Work around spidermonkey not compiling with newer versions of glibc
            # https://bugzilla.mozilla.org/show_bug.cgi?id=1729459#
            patches = old.patches or [] ++ [
              (pkgs.fetchpatch {
                url = "https://bug1729459.bmoattachments.org/attachment.cgi?id=9250378";
                sha256 = "00qzvzd4sjyr142lhfpw8wq2k88llh22xp60w5js821w6q9x3pf1";
              })
            ];
          });
        })
      ];
    };

    system.stateVersion = "22.05";

    boot = {
      loader.grub = {
        enable = true;
        version = 2;
        device = "/dev/sda";
      };

      initrd.availableKernelModules = [
        "uhci_hcd"
        "ehci_pci"
        "ata_piix"
        "usb_storage"
        "floppy"
        "sd_mod"
        "sr_mod"
        "usblp"
        "pcspkr"
        "btusb"
      ];

      initrd.luks.devices = {
        crypted-main.device = "/dev/disk/by-uuid/84dc044f-3137-435f-a7ee-67112e56cfaa";
        crypted-swap.device = "/dev/disk/by-uuid/f84ab2a9-2687-4674-a870-d037bbd84640";
      };
    };

    fileSystems = {
      "/" = {
        device = "/dev/mapper/crypted-main";
        fsType = "ext4";
      };

      "/boot" = {
        device = "/dev/disk/by-label/boot";
        fsType = "ext4";
      };
    };

    swapDevices = [
      { device = "/dev/mapper/crypted-swap"; }
    ];

    hardware.enableRedistributableFirmware = true;

    networking = {
      hostName = "ludwig";
      enableIntel2200BGFirmware = true;
    };

    nix.settings = {
      max-jobs = 2;
      cores = 2;
    };

    vuizvui.profiles.tvl.enable = true;
  };
}