From a182e764e96dbeb0e6fa093b8c8e763fc7ff1f78 Mon Sep 17 00:00:00 2001
From: Jannik Beyerstedt <code@jbeyerstedt.de>
Date: Sat, 4 Apr 2026 14:32:42 +0200
Subject: [PATCH] deploy docs.c3voc.de on public-static-web

---
 .../virtualHosts/default.nix                  |  2 +
 .../virtualHosts/docs.c3voc.de.nix            | 95 +++++++++++++++++++
 .../virtualHosts/staging.docs.c3voc.de        | 60 ++++++++++++
 3 files changed, 157 insertions(+)
 create mode 100644 config/hosts/public-web-static/virtualHosts/docs.c3voc.de.nix
 create mode 100644 config/hosts/public-web-static/virtualHosts/staging.docs.c3voc.de

diff --git a/config/hosts/public-web-static/virtualHosts/default.nix b/config/hosts/public-web-static/virtualHosts/default.nix
index 5b01a71..dfac565 100644
--- a/config/hosts/public-web-static/virtualHosts/default.nix
+++ b/config/hosts/public-web-static/virtualHosts/default.nix
@@ -7,6 +7,7 @@
     ./c3dog.de.nix
     ./cpu.ccc.de.nix
     ./cryptoparty-hamburg.de.nix
+    ./docs.c3voc.de.nix
     ./element-admin.hamburg.ccc.de.nix
     ./element.hamburg.ccc.de.nix
     ./hacker.tours.nix
@@ -15,6 +16,7 @@
     ./spaceapi.hamburg.ccc.de.nix
     ./staging.c3cat.de.nix
     ./staging.cryptoparty-hamburg.de.nix
+    ./staging.docs.c3voc.de.nix
     ./staging.hacker.tours.nix
     ./staging.hackertours.hamburg.ccc.de.nix
     ./staging.hamburg.ccc.de.nix
diff --git a/config/hosts/public-web-static/virtualHosts/docs.c3voc.de.nix b/config/hosts/public-web-static/virtualHosts/docs.c3voc.de.nix
new file mode 100644
index 0000000..62b6cf3
--- /dev/null
+++ b/config/hosts/public-web-static/virtualHosts/docs.c3voc.de.nix
@@ -0,0 +1,95 @@
+{ pkgs, ... }:
+
+let
+  domain = "docs.c3voc.de";
+  dataDir = "/var/www/${domain}";
+  deployUser = "c3vocdocs-website-deploy";
+in {
+  security.acme.certs."${domain}".extraDomainNames = [ "www.${domain}" ];
+
+  services.nginx.virtualHosts = {
+    "acme-${domain}" = {
+      enableACME = true;
+      serverName = "${domain}";
+      serverAliases = [
+        "www.${domain}"
+      ];
+
+      listen = [
+        {
+          addr = "0.0.0.0";
+          port = 31820;
+        }
+      ];
+    };
+
+    "www.${domain}" = {
+      forceSSL = true;
+      useACMEHost = "${domain}";
+
+      listen = [
+        {
+          addr = "0.0.0.0";
+          port = 8443;
+          ssl = true;
+          proxyProtocol = true;
+        }
+      ];
+
+      locations."/" = {
+        return = "302 https://docs.c3voc.de$request_uri";
+      };
+
+      extraConfig = ''
+        # Make use of the ngx_http_realip_module to set the $remote_addr and
+        # $remote_port to the client address and client port, when using proxy
+        # protocol.
+        # First set our proxy protocol proxy as trusted.
+        set_real_ip_from 172.31.17.140;
+        # Then tell the realip_module to get the addreses from the proxy protocol
+        # header.
+        real_ip_header proxy_protocol;
+      '';
+    };
+
+    "${domain}" = {
+      forceSSL = true;
+      useACMEHost = "${domain}";
+
+      listen = [
+        {
+          addr = "0.0.0.0";
+          port = 8443;
+          ssl = true;
+          proxyProtocol = true;
+        }
+      ];
+
+      root = "${dataDir}";
+
+      extraConfig = ''
+        # Make use of the ngx_http_realip_module to set the $remote_addr and
+        # $remote_port to the client address and client port, when using proxy
+        # protocol.
+        # First set our proxy protocol proxy as trusted.
+        set_real_ip_from 172.31.17.140;
+        # Then tell the realip_module to get the addreses from the proxy protocol
+        # header.
+        real_ip_header proxy_protocol;
+      '';
+    };
+  };
+
+  systemd.tmpfiles.rules = [
+    "d ${dataDir} 0755 ${deployUser} ${deployUser}"
+  ];
+
+  users.users."${deployUser}" = {
+    isNormalUser = true;
+    group = "${deployUser}";
+    openssh.authorizedKeys.keys = [
+      "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIMQbTkwHeNiq73XMbahRsyIWCzVLuN1Cu+f7XZMUh/6S deploy key for docs.c3voc.de"
+    ];
+  };
+  users.groups."${deployUser}" = { };
+}
diff --git a/config/hosts/public-web-static/virtualHosts/staging.docs.c3voc.de b/config/hosts/public-web-static/virtualHosts/staging.docs.c3voc.de
new file mode 100644
index 0000000..5b3d387
--- /dev/null
+++ b/config/hosts/public-web-static/virtualHosts/staging.docs.c3voc.de
@@ -0,0 +1,60 @@
+{ pkgs, ... }:
+
+let
+  domain = "staging.docs.c3voc.de";
+  dataDir = "/var/www/${domain}";
+  deployUser = "c3vocdocs-website-deploy";
+in {
+  services.nginx.virtualHosts = {
+    "acme-${domain}" = {
+      enableACME = true;
+      serverName = "${domain}";
+
+      listen = [
+        {
+          addr = "0.0.0.0";
+          port = 31820;
+        }
+      ];
+    };
+
+    "${domain}" = {
+      forceSSL = true;
+      useACMEHost = "${domain}";
+
+      listen = [
+        {
+          addr = "0.0.0.0";
+          port = 8443;
+          ssl = true;
+          proxyProtocol = true;
+        }
+      ];
+
+      root = "${dataDir}";
+
+      # Disallow *, since this is staging and doesn't need to be in any search
+      # results.
+      locations."/robots.txt" = {
+        return = "200 \"User-agent: *\\nDisallow: *\\n\"";
+      };
+
+      extraConfig = ''
+        # Make use of the ngx_http_realip_module to set the $remote_addr and
+        # $remote_port to the client address and client port, when using proxy
+        # protocol.
+        # First set our proxy protocol proxy as trusted.
+        set_real_ip_from 172.31.17.140;
+        # Then tell the realip_module to get the addreses from the proxy protocol
+        # header.
+        real_ip_header proxy_protocol;
+      '';
+    };
+  };
+
+  systemd.tmpfiles.rules = [
+    "d ${dataDir} 0755 ${deployUser} ${deployUser}"
+  ];
+
+  # docs.c3voc deploy user already defined in docs.c3voc.de.nix.
+}