format

systems/manakish/configuration.nix

@@ -3,7 +3,8 @@
   pkgs,
   lib,
   ...
-}: {
+}:
+{
   imports = [
     # Include the results of the hardware scan.
     ./hardware-configuration.nix
@@ -47,7 +48,7 @@
       wlp3s0.useDHCP = true;
       wwp0s20u4i6.useDHCP = true;
     };
-    wireless.interfaces = ["wlp3s0"];
+    wireless.interfaces = [ "wlp3s0" ];
     retiolum = pkgs.lib.niveum.retiolumAddresses.manakish;
     hostName = "manakish";
   };

systems/manakish/hardware-configuration.nix

@@ -4,17 +4,25 @@
   pkgs,
   modulesPath,
   ...
-}: {
-  imports = [(modulesPath + "/installer/scan/not-detected.nix")];
+}:
+{
+  imports = [ (modulesPath + "/installer/scan/not-detected.nix") ];
 
   boot = {
     initrd = {
-      availableKernelModules = ["xhci_pci" "ehci_pci" "ahci" "usb_storage" "sd_mod" "sdhci_pci"];
-      kernelModules = [];
+      availableKernelModules = [
+        "xhci_pci"
+        "ehci_pci"
+        "ahci"
+        "usb_storage"
+        "sd_mod"
+        "sdhci_pci"
+      ];
+      kernelModules = [ ];
       luks.devices."crypted".device = "/dev/disk/by-uuid/493cb228-c292-4f71-9f38-dcb3e96dec47";
     };
-    kernelModules = ["kvm-intel"];
-    extraModulePackages = [];
+    kernelModules = [ "kvm-intel" ];
+    extraModulePackages = [ ];
     loader.grub = {
       enable = true;
       efiSupport = true;
@@ -36,11 +44,11 @@
     "/mnt/sd-card" = {
       device = "/dev/disk/by-id/mmc-5E4S5_0x4c585d15-part1";
       fsType = "ext4";
-      options = ["nofail"];
+      options = [ "nofail" ];
     };
   };
 
-  swapDevices = [];
+  swapDevices = [ ];
   zramSwap.enable = true;
 
   powerManagement.cpuFreqGovernor = lib.mkDefault "powersave";

systems/manakish/hdmi.nix

@@ -1,13 +1,17 @@
-{pkgs, ...}: {
-  services.xserver.displayManager.sessionCommands = let
-    intern = "LVDS-1";
-    extern = "HDMI-1";
-    pulseaudioCard = "alsa_card.pci-0000_00_1b.0";
-    # pulseaudioProfile = "output:hdmi-stereo-extra2+input:analog-stereo";
-    pulseaudioProfile = "alsa_output.pci-0000_00_1b.0.analog-stereo";
-  in
-    toString (pkgs.writers.writeDash "hdmi-on" ''
-      ${pkgs.xorg.xrandr}/bin/xrandr --output ${intern} --primary --auto --output ${extern} --above ${intern} --auto
-      ${pkgs.pulseaudio}/bin/pactl set-card-profile ${pulseaudioCard} ${pulseaudioProfile}
-    '');
+{ pkgs, ... }:
+{
+  services.xserver.displayManager.sessionCommands =
+    let
+      intern = "LVDS-1";
+      extern = "HDMI-1";
+      pulseaudioCard = "alsa_card.pci-0000_00_1b.0";
+      # pulseaudioProfile = "output:hdmi-stereo-extra2+input:analog-stereo";
+      pulseaudioProfile = "alsa_output.pci-0000_00_1b.0.analog-stereo";
+    in
+    toString (
+      pkgs.writers.writeDash "hdmi-on" ''
+        ${pkgs.xorg.xrandr}/bin/xrandr --output ${intern} --primary --auto --output ${extern} --above ${intern} --auto
+        ${pkgs.pulseaudio}/bin/pactl set-card-profile ${pulseaudioCard} ${pulseaudioProfile}
+      ''
+    );
 }