diff options
| author | mail_redacted_for_web | 2022-03-23 15:16:19 +0100 |
|---|---|---|
| committer | mail_redacted_for_web | 2022-03-23 15:16:19 +0100 |
| commit | e5d6012736788043b08ed70463665679b3911938 (patch) | |
| tree | 748b7f4565b4bba0e74653cb24d298093c355ba7 | |
| parent | 5a17f02dbf2aac80b15ff1da3397a54dadb8a877 (diff) | |
| download | dotfiles-e5d6012736788043b08ed70463665679b3911938.tar.bz2 | |
remove old dirmngr socket. remember to execute only once with multiple connections.
| -rwxr-xr-x | bin/ssh-with-gpg | 1 |
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 |