about summary refs log tree commit diff stats
path: root/modules/by-name/ni/nix-sync/hosts.nix
diff options
context:
space:
mode:
authorBenedikt Peetz <benedikt.peetz@b-peetz.de>2025-02-04 19:44:46 +0100
committerBenedikt Peetz <benedikt.peetz@b-peetz.de>2025-02-04 19:44:46 +0100
commite18e720bb41cbc43645a9e77b1262dd3d08b4e71 (patch)
treeb67cc4761c733d6cb63f748de6acc6b86f1b4b06 /modules/by-name/ni/nix-sync/hosts.nix
parentdocs(README.md): Init (diff)
downloadnixos-server-e18e720bb41cbc43645a9e77b1262dd3d08b4e71.zip
modules/nix-sync: Actually enable
This includes the obvious changes, ensuring that it follows our
current best-practices.
Diffstat (limited to 'modules/by-name/ni/nix-sync/hosts.nix')
-rw-r--r--modules/by-name/ni/nix-sync/hosts.nix48
1 files changed, 0 insertions, 48 deletions
diff --git a/modules/by-name/ni/nix-sync/hosts.nix b/modules/by-name/ni/nix-sync/hosts.nix
deleted file mode 100644
index 98dbbf1..0000000
--- a/modules/by-name/ni/nix-sync/hosts.nix
+++ /dev/null
@@ -1,48 +0,0 @@
-{...}: let
-  extraWkdSettings = {
-    locations."/.well-known/openpgpkey/hu/".extraConfig = ''
-      default_type application/octet-stream;
-
-      # Came from: https://www.uriports.com/blog/setting-up-openpgp-web-key-directory/
-      # No idea if it is actually necessary
-      # add_header Access-Control-Allow-Origin * always;
-    '';
-  };
-in [
-  {
-    domain = "vhack.eu";
-    url = "https://codeberg.org/vhack.eu/website.git";
-  }
-  {
-    domain = "b-peetz.de";
-    url = "https://codeberg.org/bpeetz/b-peetz.de.git";
-  }
-
-  # Trinitrix
-  {
-    domain = "trinitrix.vhack.eu";
-    url = "https://codeberg.org/trinitrix/website.git";
-  }
-
-  # WKD
-  {
-    domain = "openpgpkey.b-peetz.de";
-    url = "https://codeberg.org/vhack.eu/gpg_wkd.git";
-    extraSettings = extraWkdSettings;
-  }
-  {
-    domain = "openpgpkey.s-schoeffel.de";
-    url = "https://codeberg.org/vhack.eu/gpg_wkd.git";
-    extraSettings = extraWkdSettings;
-  }
-  {
-    domain = "openpgpkey.sils.li";
-    url = "https://codeberg.org/vhack.eu/gpg_wkd.git";
-    extraSettings = extraWkdSettings;
-  }
-  {
-    domain = "openpgpkey.vhack.eu";
-    url = "https://codeberg.org/vhack.eu/gpg_wkd.git";
-    extraSettings = extraWkdSettings;
-  }
-]