From a649fddd6e1d87467ba86522672c4201edc2ca97 Mon Sep 17 00:00:00 2001
From: Ruben Rodriguez <ruben@trisquel.info>
Date: Fri, 1 Nov 2019 15:09:05 -0400
Subject: [PATCH] Kill gpg-agent when appropriate
---
helpers/config | 1 +
1 file changed, 1 insertion(+)
diff --git a/helpers/config b/helpers/config
index fe571cad..c502aac4 100755
--- a/helpers/config
+++ b/helpers/config
@@ -141,6 +141,7 @@ if grep -q "BEGIN PGP SIGNATURE" *.dsc; then
touch ${LOCAL_APT}/keyring.gpg
gpg2 --no-use-agent --keyring ${LOCAL_APT}/keyring.gpg --import ${LOCAL_APT}/etc/trusted.gpg
gpg2 --no-use-agent --verify --keyring ${LOCAL_APT}/etc/trusted.gpg *.dsc
+ [ -n SCHROOT_COMMAND ] && gpgconf --kill gpg-agent
else
echo WARNING! The dsc file is not gpg signed!
[ -z "$EXTERNAL" ] && exit 1
--
GitLab