add kill-remote-gpg to .bashrc

1 files changed, 11 insertions, 0 deletions

diff --git a/.bashrc b/.bashrc
index 8a878728..3e277d3d 100644
--- a/.bashrc
+++ b/.bashrc
@@ -218,6 +218,17 @@ secs () {
     echo 0
 }
 
+# sometimes a remote SSH session cannot get at my forwarded SSH agent
+# because an unwanted instance of gpg-agent running on the remote host
+# gets in the way.  this is a way to kill off that unwanted agent.  we
+# also need to restart the multiplexed SSH connection to get agent
+# forwarding working again.  I think this problem is mostly caused by
+# the fact that I use gnupg as my SSH agent
+kill-remote-gpg () {
+    ssh "$1" 'rm -f $XDG_RUNTIME_DIR/gnupg/*'
+    ssh -O exit "$1"
+}
+
 # --- host-specific aliases/functions
 
 # ftp-master.debian.org