Add Forgejo machine to the infra/ directory

infra/README.org

@@ -21,5 +21,6 @@ infrastructure.
 
 | Machine | Description            | Deployment      |
 |---------+------------------------+-----------------|
+| vm02116 | Forgejo                | /none/            |
 | vm02179 | Forgejo actions runner | actions-runners |
 | vm02186 | Forgejo actions runner | actions-runners |

infra/vm02116/configuration.nix

@@ -2,15 +2,15 @@
 # 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, ... }:
+{ pkgs, ... }:
 
 {
-  imports =
+  imports = [
-    [ # Include the results of the hardware scan.
+    # Include the results of the hardware scan.
-      ./hardware-configuration.nix
+    ./hardware-configuration.nix
-      # This will install and configure Forgejo
+    # This will install and configure Forgejo
-      ./forgejo.nix
+    ./forgejo.nix
-    ];
+  ];
 
   # Use the systemd-boot EFI boot loader.
   boot.loader.systemd-boot.enable = true;
@@ -53,7 +53,10 @@
       address = "2a00:51c0:12:1201::1";
       interface = "eth0";
     };
-    nameservers = [ "2a00:51c0::5fd7:b906" "95.215.185.7" ];
+    nameservers = [
+      "2a00:51c0::5fd7:b906"
+      "95.215.185.7"
+    ];
     firewall.enable = false;
     nftables = {
       enable = true;
@@ -131,7 +134,6 @@
     };
   };
 
-
   # Set your time zone.
   time.timeZone = "Europe/Amsterdam";
 
@@ -150,9 +152,6 @@
   # Enable the X11 windowing system.
   # services.xserver.enable = true;
 
-
-  
-
   # Configure keymap in X11
   # services.xserver.xkb.layout = "us";
   # services.xserver.xkb.options = "eurosign:e,caps:escape";
@@ -175,7 +174,7 @@
       openssh.authorizedKeys.keys = [
         "ssh-rsa AAAAB3NzaC1yc2EAAAABIwAAAQEAotfCIjLoDlHOe+++kVS1xiBPaS8mC5FypgrxDrDVst6SHxMTca2+IScMajzUZajenvNAoZOwIsyAPacT8OHeyFvV5Y7G874Qa+cZVqJxLht9gdXxr1GNabU3RfhhCh272dUeIKIqfgsRsM2HzdnZCMDavS1Yo+f+RhhHhnJIua+NdVFo21vPrpsz+Cd0M1NhojARLajrTHvEXW0KskUnkbfgxT0vL9jeRZxdgMS+a9ZoR5dbzOxQHWfbP8N04Xc+7CweMlvKwlWuAE/xDb5XLNHorfGWFvZuVhptJN8jPaaVS25wsmsF5IbaAuSZfzCtBdFQhIloUhy0L6ZisubHjQ== procolix@sshnode1"
         "ssh-rsa AAAAB3NzaC1yc2EAAAABIwAAAQEAuT3C0f3nyQ7SwUvXcFmEYEgwL+crY6iK0Bhoi9yfn4soz3fhfMKyKSwc/0RIlRnrz3xnkyJiV0vFeU7AC1ixbGCS3T9uc0G1x0Yedd9n2yR8ZJmkdyfjZ5KE4YvqZ3f6UZn5Mtj+7tGmyp+ee+clLSHzsqeyDiX0FIgFmqiiAVJD6qeKPFAHeWz9b2MOXIBIw+fSLOpx0rosCgesOmPc8lgFvo+dMKpSlPkCuGLBPj2ObT4sLjc98NC5z8sNJMu3o5bMbiCDR9JWgx9nKj+NlALwk3Y/nzHSL/DNcnP5vz2zbX2CBKjx6ju0IXh6YKlJJVyMsH9QjwYkgDQVmy8amQ== procolix@sshnode2"
-        ];
+      ];
     };
   };
 
@@ -183,9 +182,9 @@
   # $ nix search wget
   environment.systemPackages = with pkgs; [
     (pkgs.vim_configurable.customize {
-        name = "vim";
+      name = "vim";
-        vimrcConfig.packages.myplugins = with pkgs.vimPlugins; {
+      vimrcConfig.packages.myplugins = with pkgs.vimPlugins; {
-          start = [ vim-nix ]; # load plugin on startup
+        start = [ vim-nix ]; # load plugin on startup
       };
       vimrcConfig.customRC = ''
         " your custom vimrc
@@ -196,7 +195,8 @@
         " ...
       '';
     })
-    wget subversion
+    wget
+    subversion
   ];
 
   # Some programs need SUID wrappers, can be configured further or are
@@ -247,4 +247,3 @@
   system.stateVersion = "24.05";
 
 }
-

infra/vm02116/forgejo.nix

@@ -1,4 +1,4 @@
-{ config, lib, pkgs, ... }:
+{ pkgs, ... }:
 let
   domain = "git.fediversity.eu";
 in
@@ -73,7 +73,7 @@ in
           https   "max-age=31536000; includeSubdomains; always";
       }
       add_header Strict-Transport-Security $hsts_header;
-      '';
+    '';
     virtualHosts.${domain} = {
       listenAddresses = [
         "185.206.232.34"
@@ -91,4 +91,3 @@ in
     };
   };
 }
-

infra/vm02116/hardware-configuration.nix

@@ -1,25 +1,30 @@
 # Do not modify this file!  It was generated by ‘nixos-generate-config’
 # and may be overwritten by future invocations.  Please make changes
 # to /etc/nixos/configuration.nix instead.
-{ config, lib, pkgs, modulesPath, ... }:
+{ lib, ... }:
 
 {
   imports = [ ];
 
-  boot.initrd.availableKernelModules = [ "ata_piix" "uhci_hcd" "sr_mod" "xen_blkfront" ];
+  boot.initrd.availableKernelModules = [
+    "ata_piix"
+    "uhci_hcd"
+    "sr_mod"
+    "xen_blkfront"
+  ];
   boot.initrd.kernelModules = [ "dm-snapshot" ];
   boot.kernelModules = [ ];
   boot.extraModulePackages = [ ];
 
-  fileSystems."/" =
+  fileSystems."/" = {
-    { device = "/dev/disk/by-uuid/3802a66d-e31a-4650-86f3-b51b11918853";
+    device = "/dev/disk/by-uuid/3802a66d-e31a-4650-86f3-b51b11918853";
-      fsType = "ext4";
+    fsType = "ext4";
-    };
+  };
 
-  fileSystems."/boot" =
+  fileSystems."/boot" = {
-    { device = "/dev/disk/by-uuid/2CE2-1173";
+    device = "/dev/disk/by-uuid/2CE2-1173";
-      fsType = "vfat";
+    fsType = "vfat";
-    };
+  };
 
   swapDevices = [ ];