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

{...}: 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";
    root = "/etc/nginx/websites/vhack.eu";
    url = "https://codeberg.org/vhack.eu/website.git";
  }
  {
    domain = "b-peetz.de";
    root = "/etc/nginx/websites/b-peetz.de";
    url = "https://codeberg.org/bpeetz/b-peetz.de.git";
  }

  # WKD
  {
    domain = "openpgpkey.b-peetz.de";
    root = "/etc/nginx/websites/openpgpkey.b-peetz.de";
    url = "https://codeberg.org/vhack.eu/gpg_wkd.git";
    extraSettings = extraWkdSettings;
  }
  {
    domain = "openpgpkey.vhack.eu";
    root = "/etc/nginx/websites/openpgpkey.vhack.eu";
    url = "https://codeberg.org/vhack.eu/gpg_wkd.git";
    extraSettings = extraWkdSettings;
  }
]