system/services/nginx/hosts.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48

{...}: 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;
  }
]