summary refs log blame commit diff stats
path: root/modules/nixos/vhack/nix-sync/hosts.nix
blob: 98dbbf16833bf33b161587852b1b9be87e70feb4 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11









                                                                                      
                        


                                                      
                                                       
 

                                  
                                                       
   

                                     


                                                      
                                         


                                                      
                                  


                                                      
                                   

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