git.lirion.de

Of git, get, and gud

aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/ssh-with-gpg1
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/ssh-with-gpg b/bin/ssh-with-gpg
index 8e43d4d..aac1651 100755
--- a/bin/ssh-with-gpg
+++ b/bin/ssh-with-gpg
@@ -8,6 +8,7 @@ fi
TGT="$1"
REMUID="$(ssh "$TGT" "id -u")"
+ssh "$TGT" 'rm -f /run/user/$(id -u)/gnupg/S.dirmngr'
if [ -z "$REMUID" ];then
printf "Cannot fetch user id from %b.\\n" "$TGT" >&2
exit 2