nixfmt

systems/aarch64-linux/pi4/boot.nix

@@ -21,18 +21,25 @@
 #   #   cp -r ${uefi_pi4}/share/uefi_rpi4/* /boot/firmware/
 #   # '';
 # }
-{ config, pkgs, lib, ... }:
+{
+  config,
+  pkgs,
+  lib,
+  ...
+}:
 let
   kernelBundle = pkgs.linuxAndFirmware.latest;
 in
 {
-  system.nixos.tags = let
-    cfg = config.boot.loader.raspberry-pi;
-  in [
-    "raspberry-pi-${cfg.variant}"
-    cfg.bootloader
-    config.boot.kernelPackages.kernel.version
-  ];
+  system.nixos.tags =
+    let
+      cfg = config.boot.loader.raspberry-pi;
+    in
+    [
+      "raspberry-pi-${cfg.variant}"
+      cfg.bootloader
+      config.boot.kernelPackages.kernel.version
+    ];
 
   boot = lib.mkForce {
     loader.raspberry-pi = {
@@ -41,9 +48,10 @@ in
     };
     kernelPackages = kernelBundle.linuxPackages_rpi4;
   };
-  
+
   hardware.raspberry-pi.config = {
-    all = { # [all] conditional filter, https://www.raspberrypi.com/documentation/computers/config_txt.html#conditional-filters
+    all = {
+      # [all] conditional filter, https://www.raspberrypi.com/documentation/computers/config_txt.html#conditional-filters
 
       base-dt-params = {
         i2c_arm = {
@@ -63,14 +71,14 @@ in
       options = {
         # https://www.raspberrypi.com/documentation/computers/config_txt.html#enable_uart
         # in conjunction with `console=serial0,115200` in kernel command line (`cmdline.txt`)
-        # creates a serial console, accessible using GPIOs 14 and 15 (pins 
+        # creates a serial console, accessible using GPIOs 14 and 15 (pins
         #  8 and 10 on the 40-pin header)
         enable_uart = {
           enable = true;
           value = true;
         };
         # https://www.raspberrypi.com/documentation/computers/config_txt.html#uart_2ndstage
-        # enable debug logging to the UART, also automatically enables 
+        # enable debug logging to the UART, also automatically enables
         # UART logging in `start.elf`
         uart_2ndstage = {
           enable = true;

systems/aarch64-linux/pi4/default.nix

@@ -2,7 +2,13 @@
 # your system. Help is available in the configuration.nix(5) man page, on
 # https://search.nixos.org/options and in the NixOS manual (`nixos-help`).
 
-{ config, lib, pkgs, namespace, ... }:
+{
+  config,
+  lib,
+  pkgs,
+  namespace,
+  ...
+}:
 let
   user = "matt";
   # password = config.sops.secrets."pi4/matt-password".path;
@@ -37,7 +43,7 @@ in
   nixpkgs = {
     overlays = lib.mkAfter [
       (self: super: {
-        # This is used in (modulesPath + "/hardware/all-firmware.nix") when at least 
+        # This is used in (modulesPath + "/hardware/all-firmware.nix") when at least
         # enableRedistributableFirmware is enabled
         # I know no easier way to override this package
         inherit (kernelBundle) raspberrypiWirelessFirmware;

systems/aarch64-linux/pi4/networking.nix

@@ -24,7 +24,7 @@ in
       settings.connectivity.uri = lib.mkDefault "http://nmcheck.gnome.org/check_network_status.txt";
       ensureProfiles = {
         environmentFiles = [
-         config.sops.secrets.wifi.path
+          config.sops.secrets.wifi.path
         ];
 
         profiles = {

systems/aarch64-linux/pi4/sops.nix

@@ -5,10 +5,10 @@ in
 {
   sops = {
     defaultSopsFile = lib.mkForce ../../../secrets/pi4-secrets.yaml;
-#    age = {
-#      generateKey = true;
-#      sshKeyPaths = [ "/etc/ssd/ssh_host_ed25519_key" ];
-#    };
+    #    age = {
+    #      generateKey = true;
+    #      sshKeyPaths = [ "/etc/ssd/ssh_host_ed25519_key" ];
+    #    };
     age.keyFile = "/home/matt/.config/sops/age/keys.txt";
     validateSopsFiles = false;
     # ------------------------------