2023-07-11 10:03:47 +02:00
|
|
|
{ config, pkgs, lib, assets, ... }:
|
|
|
|
let
|
|
|
|
server_name = "ingolf-wagner.de";
|
|
|
|
in
|
|
|
|
{
|
|
|
|
# check :
|
|
|
|
# - https://metacode.biz/openpgp/web-key-directory
|
|
|
|
# - $> gpg --homedir "$(mktemp -d)" -v --auto-key-locate clear,wkd,nodefault --locate-key contact@ingolf-wagner.de
|
2023-07-12 14:43:53 +02:00
|
|
|
services.nginx.virtualHosts.${server_name}.locations =
|
|
|
|
let
|
|
|
|
wkd =
|
|
|
|
{
|
|
|
|
extraConfig = ''
|
|
|
|
default_type application/octet-stream;
|
|
|
|
add_header Access-Control-Allow-Origin * always;
|
|
|
|
'';
|
|
|
|
#alias = pkgs.runCommand "contact@ingolf-wagner.de" { } ''
|
|
|
|
# cat ${assets}/contact@ingolf-wagner.de.gpg | ${pkgs.gnupg}/bin/gpg --dearmor > $out
|
|
|
|
#'';
|
|
|
|
alias = toString "${assets}/contact@ingolf-wagner.de.gpg";
|
|
|
|
};
|
|
|
|
in
|
|
|
|
{
|
|
|
|
"= /.well-known/openpgpkey/policy".return = "200";
|
|
|
|
# hashes generated by : gpg --with-wkd-hash --fingerprint contact@ingolf-wagner.de
|
|
|
|
"= /.well-known/openpgpkey/hu/dj3498u4hyyarh35rkjfnghbjxug6b19" = wkd;
|
2023-07-11 10:03:47 +02:00
|
|
|
};
|
2023-07-12 14:43:53 +02:00
|
|
|
|
2023-07-17 09:47:42 +02:00
|
|
|
# todo openpgpkey.ingolf-wagner.de noch einrichten
|
2023-07-11 10:03:47 +02:00
|
|
|
}
|