From 84cb760ef0d23d21785baca72687cfd2fa2ed3b4 Mon Sep 17 00:00:00 2001
From: claude-macmini <claude-macmini@3838.eu>
Date: Sun, 13 Sep 2026 18:34:23 +0200
Subject: [PATCH] build-wkd.sh: gpg-wks-client kent geen --batch (CI-build 2
 faalde)

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
---
 build-wkd.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-wkd.sh b/build-wkd.sh
index 7464b95..63a7633 100644
--- a/build-wkd.sh
+++ b/build-wkd.sh
@@ -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)"