wSFcQyxBu1/wkd
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

build-wkd.sh: gpg-wks-client kent geen --batch (CI-build 2 faalde)
All checks were successful
build-and-push / build (push) Successful in 5s
Details

Browse source 
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This commit is contained in:
claude-macmini 2026-09-13 18:34:23 +02:00
parent dbc8a48359
commit 84cb760ef0
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
build-wkd.sh
View file

@ -30,7 +30,7 @@ for domdir in "$KEYS"/*/; do
echo "FOUT: $f — geen sleutel met een UID die exact <$addr> bevat" >&2; exit 1
fi
# --install-key: exporteert binair, filtert op deze UID, schrijft <domain>/hu/<hash> (+ policy)
gpg-wks-client --batch --quiet --directory "$OUT" --install-key "$fpr" "$addr"
gpg-wks-client --quiet --directory "$OUT" --install-key "$fpr" "$addr"
hash=$(gpg-wks-client --print-wkd-hash "$addr" | awk '{print $1}')
[ -s "$OUT/$domain/hu/$hash" ] || { echo "FOUT: $OUT/$domain/hu/$hash niet aangemaakt" >&2; exit 1; }
echo "OK $addr → $domain/hu/$hash ($fpr)"