From d121cd6a5bd0d66a961e4c2455b189d76b8f1f65 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicolas=20=E2=80=9CNiols=E2=80=9D=20Jeannerod?=
 <nicolas.jeannerod@moduscreate.com>
Date: Fri, 31 Jan 2025 11:06:23 +0100
Subject: [PATCH] Remove `vm02117`

Machine was running on the old supervisor and was decommissioned manually.
---
 infra/README.org          |  1 -
 infra/flake-part.nix      |  1 -
 infra/vm02117/default.nix | 23 -----------------------
 3 files changed, 25 deletions(-)
 delete mode 100644 infra/vm02117/default.nix

diff --git a/infra/README.org b/infra/README.org
index 6633ea0..80cbd01 100644
--- a/infra/README.org
+++ b/infra/README.org
@@ -29,7 +29,6 @@ infrastructure.
 | Machine | Proxmox     | Description            | Deployment |
 |---------+-------------+------------------------+------------|
 | vm02116 | Procolix    | Forgejo                | ~git~      |
-| vm02117 | Procolix    | /unused/               | ~other~    |
 | vm02179 | Procolix    | /unused/               | ~other~    |
 | vm02186 | Procolix    | /unused/               | ~other~    |
 | vm02187 | Procolix    | Wiki                   | ~web~      |
diff --git a/infra/flake-part.nix b/infra/flake-part.nix
index bbf3f33..c1c49c0 100644
--- a/infra/flake-part.nix
+++ b/infra/flake-part.nix
@@ -61,7 +61,6 @@ in
     ];
     web = [ "vm02187" ];
     other = [
-      "vm02117"
       "vm02179"
       "vm02186"
     ];
diff --git a/infra/vm02117/default.nix b/infra/vm02117/default.nix
deleted file mode 100644
index 30b8d79..0000000
--- a/infra/vm02117/default.nix
+++ /dev/null
@@ -1,23 +0,0 @@
-{
-  procolix.vm = {
-    name = "vm02117";
-    ip4 = "185.206.232.106";
-    ip6 = "2a00:51c0:12:1201::106";
-  };
-
-  ## vm02117 is running on old hardware based on a Xen VM environment, so it
-  ## needs these extra options. Once the VM gets moved to a newer node, these
-  ## two options can safely be removed.
-  boot.initrd.availableKernelModules = [ "xen_blkfront" ];
-  services.xe-guest-utilities.enable = true;
-
-  fileSystems."/" = {
-    device = "/dev/disk/by-uuid/5aa392a8-c9ba-4181-976f-b3b30db350a1";
-    fsType = "ext4";
-  };
-
-  fileSystems."/boot" = {
-    device = "/dev/disk/by-uuid/FC6D-610F";
-    fsType = "vfat";
-  };
-}