From 630b7c0ffc5055ec6335e5c57f014335343c9c7f Mon Sep 17 00:00:00 2001
From: Tom Hubrecht <tom.hubrecht@dgnum.eu>
Date: Thu, 12 Dec 2024 14:03:32 +0100
Subject: [PATCH] chore(web01): Remove kahulm.nix

---
 machines/nixos/web01/kahulm.nix | 32 --------------------------------
 1 file changed, 32 deletions(-)
 delete mode 100644 machines/nixos/web01/kahulm.nix

diff --git a/machines/nixos/web01/kahulm.nix b/machines/nixos/web01/kahulm.nix
deleted file mode 100644
index e947881..0000000
--- a/machines/nixos/web01/kahulm.nix
+++ /dev/null
@@ -1,32 +0,0 @@
-{ sources, config, ... }:
-let
-  host = "kahulm.normalesup.eu";
-  port = 3009;
-in
-{
-  imports = [ (sources.kahulm + "/module.nix") ];
-
-  services.kahulm = {
-    inherit port;
-    enable = true;
-    baseUrl = "https://${host}";
-    sessionSecretFile = config.age.secrets.kahulm-session_secret.path;
-  };
-
-  services.nginx = {
-    enable = true;
-
-    virtualHosts.${host} = {
-      enableACME = true;
-      forceSSL = true;
-      locations."/" = {
-        proxyPass = "http://127.0.0.1:${builtins.toString port}";
-      };
-    };
-  };
-
-  networking.firewall.allowedTCPPorts = [
-    80
-    443
-  ];
-}