summary refs log tree commit diff stats
path: root/system/services/nginx/hosts.nix
blob: e91748f22ffc0a9459b2250788a27bf016683493 (plain) (blame)
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
{...}: 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";
  }

  # Trinitrix
  {
    domain = "trinitrix.vhack.eu";
    # FIXME(@bpeetz): Remove the need for this pointless path.  <2024-05-25>
    root = "/etc/nginix/websites/trinitrix.vhack.eu";
    url = "https://codeberg.org/trinitrix/website.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;
  }
]