formatting

mod/boot.nix

@@ -1,18 +1,20 @@
 { pkgs, ... }:
 {
-  boot.loader = {
-    efi.canTouchEfiVariables = true;
-    grub = {
-      enable = true;
-      efiSupport = true;
-      device = "nodev";
+  boot = {
+    loader = {
+      efi.canTouchEfiVariables = true;
+      grub = {
+        enable = true;
+        efiSupport = true;
+        device = "nodev";
+      };
     };
+
+    # otherwise /tmp is on disk. This *may* be problematic as nix
+    # builds in /tmp but I think my swap is large enough...
+    tmp.useTmpfs = true;
+
+    kernelPackages = pkgs.linuxPackages_6_13;
+    kernel.sysctl."kernel.sysrq" = 1;
   };
-
-  # otherwise /tmp is on disk. This *may* be problematic as nix
-  # builds in /tmp but I think my swap is large enough...
-  boot.tmp.useTmpfs = true;
-
-  boot.kernelPackages = pkgs.linuxPackages_6_13;
-  boot.kernel.sysctl."kernel.sysrq" = 1;
 }

mod/fonts.nix

@@ -1,11 +1,13 @@
 { pkgs, ... }:
 {
-  fonts.packages = with pkgs; [
-    noto-fonts
-    noto-fonts-cjk-sans
-    noto-fonts-emoji
-    nerd-fonts.noto
-  ];
-  fonts.fontDir.enable = true;
-  fonts.fontconfig.defaultFonts.monospace = [ "Noto Nerd Font Mono" ];
+  fonts = {
+    packages = with pkgs; [
+      noto-fonts
+      noto-fonts-cjk-sans
+      noto-fonts-emoji
+      nerd-fonts.noto
+    ];
+    fontDir.enable = true;
+    fontconfig.defaultFonts.monospace = [ "Noto Nerd Font Mono" ];
+  };
 }

mod/network.nix

@@ -11,41 +11,43 @@
 
   networking = {
     enableIPv6 = true;
-    networkmanager.enable = true;
-    networkmanager.wifi.macAddress = "random";
-    networkmanager.ensureProfiles.profiles = {
-      "tuda-vpn" = {
-        connection = {
-          autoconnect = "false";
-          id = "tuda-vpn";
-          type = "vpn";
-        };
-        ipv4 = {
-          method = "auto";
-        };
-        ipv6 = {
-          addr-gen-mode = "stable-privacy";
-          method = "auto";
-        };
-        vpn = {
-          authtype = "password";
-          autoconnect-flags = "0";
-          certsigs-flags = "0";
-          cookie-flags = "2";
-          disable_udp = "no";
-          enable_csd_trojan = "no";
-          gateway = "vpn.hrz.tu-darmstadt.de";
-          gateway-flags = "2";
-          gwcert-flags = "2";
-          lasthost-flags = "0";
-          pem_passphrase_fsid = "no";
-          prevent_invalid_cert = "no";
-          protocol = "anyconnect";
-          resolve-flags = "2";
-          service-type = "org.freedesktop.NetworkManager.openconnect";
-          stoken_source = "disabled";
-          xmlconfig-flags = "0";
-          password-flags = 0;
+    networkmanager = {
+      enable = true;
+      wifi.macAddress = "random";
+      ensureProfiles.profiles = {
+        "tuda-vpn" = {
+          connection = {
+            autoconnect = "false";
+            id = "tuda-vpn";
+            type = "vpn";
+          };
+          ipv4 = {
+            method = "auto";
+          };
+          ipv6 = {
+            addr-gen-mode = "stable-privacy";
+            method = "auto";
+          };
+          vpn = {
+            authtype = "password";
+            autoconnect-flags = "0";
+            certsigs-flags = "0";
+            cookie-flags = "2";
+            disable_udp = "no";
+            enable_csd_trojan = "no";
+            gateway = "vpn.hrz.tu-darmstadt.de";
+            gateway-flags = "2";
+            gwcert-flags = "2";
+            lasthost-flags = "0";
+            pem_passphrase_fsid = "no";
+            prevent_invalid_cert = "no";
+            protocol = "anyconnect";
+            resolve-flags = "2";
+            service-type = "org.freedesktop.NetworkManager.openconnect";
+            stoken_source = "disabled";
+            xmlconfig-flags = "0";
+            password-flags = 0;
+          };
         };
       };
     };

mod/services.nix

@@ -1,11 +1,13 @@
 { ... }:
 {
-  services.printing.enable = true;
-  services.avahi = {
-    enable = true;
-    nssmdns4 = true;
-    openFirewall = true;
+  services = {
+    printing.enable = true;
+    avahi = {
+      enable = true;
+      nssmdns4 = true;
+      openFirewall = true;
+    };
+    udisks2.enable = true;
+    emacs.enable = true;
   };
-  services.udisks2.enable = true;
-  services.emacs.enable = true;
 }