nixpkgs-fmt

flake.nix

@@ -167,7 +167,7 @@
         ''
       ));
 
-      individualScripts = lib.foldl (x: y: lib.mergeAttrs x y) {} (builtins.map (number: {"deploy-box-${toString number}" = (installScript number);}) id_list);
+      individualScripts = lib.foldl (x: y: lib.mergeAttrs x y) { } (builtins.map (number: { "deploy-box-${toString number}" = (installScript number); }) id_list);
 
       packages = ({
         traffic-stop-box = self.nixosConfigurations.traffic-stop-box-0.config.system.build.vm;

hosts/staging/configuration.nix

@@ -11,31 +11,33 @@
     hypervisor = "cloud-hypervisor";
     socket = "${config.networking.hostName}.socket";
 
-    interfaces = [ {
+    interfaces = [{
       type = "tap";
       id = "staging-dh";
       mac = "00:de:5b:f9:e2:3d";
-    } ];
+    }];
 
-    shares = [ {
+    shares = [{
       source = "/nix/store";
       mountPoint = "/nix/.ro-store";
       tag = "store";
       proto = "virtiofs";
       socket = "store.socket";
-    } {
+    }
+      {
         source = "/var/lib/microvms/staging-data-hoarder/etc";
         mountPoint = "/etc";
         tag = "etc";
         proto = "virtiofs";
         socket = "etc.socket";
-    } {
+      }
+      {
         source = "/var/lib/microvms/staging-data-hoarder/var";
         mountPoint = "/var";
         tag = "var";
         proto = "virtiofs";
         socket = "var.socket";
-    } ];
+      }];
   };
 
   networking.hostName = "staging-data-hoarder"; # Define your hostname.
@@ -45,10 +47,10 @@
   time.timeZone = "Europe/Berlin";
   networking.interfaces.eth0 = {
     useDHCP = false;
-    ipv4.addresses = [ {
+    ipv4.addresses = [{
       address = "172.20.73.64";
       prefixLength = 25;
-    } ];
+    }];
   };
 
   networking.defaultGateway = "172.20.73.1";

modules/gnuradio.nix

@@ -14,7 +14,7 @@ let
     { frequency = "170795000"; offset = "19550"; device = "hackrf=0"; } # dresden unused
   ];
 
-  receiver = pkgs.gnuradio-decode.override(lib.elemAt receiver_config config.dvb-dump.systemNumber);
+  receiver = pkgs.gnuradio-decode.override (lib.elemAt receiver_config config.dvb-dump.systemNumber);
 in
 {
   systemd = {

pkgs/deployment.nix

@@ -1,4 +1,4 @@
-{self, pkgs, lib, boxes}: 
+{ self, pkgs, lib, boxes }:
 let
   # command which generates the update script for that specific machine
   installScript = (target: (pkgs.writeScript "deploy" ''
@@ -27,9 +27,10 @@ let
       ''
   ));
 
-  individualScripts = lib.foldl (x: y: lib.mergeAttrs x y) {} (builtins.map (number: {"deploy-box-${toString number}" = (installScript number);}) boxes);
+  individualScripts = lib.foldl (x: y: lib.mergeAttrs x y) { } (builtins.map (number: { "deploy-box-${toString number}" = (installScript number); }) boxes);
 
-in ({
+in
+({
   deploy-all = deployAllScript;
 }) #individualScripts