From 8cb37160d7b26eab19b287a9f5ee84ad37e3b53a Mon Sep 17 00:00:00 2001
From: David Morgan <david.morgan@gmail.com>
Date: Fri, 29 Apr 2016 12:33:37 +0100
Subject: Add .bash_logout, plus .bashrc tweaks

---
 .bash_logout | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 .bash_logout

(limited to '.bash_logout')

diff --git a/.bash_logout b/.bash_logout
new file mode 100644
index 0000000..df7ab07
--- /dev/null
+++ b/.bash_logout
@@ -0,0 +1,13 @@
+# don't leave behind any stray ssh sessions - kill them when bash exits,
+# unless it was running inside a tmux session (but the idea is to kill
+# ssh sessions running inside tmux!)
+if [ -n "${SSH_CONNECTION}" -a -z "${TMUX}" ]; then
+    for ssh_host in $(grep 'Host\b' .ssh/config|cut -f2 -d' ') ; do
+        ssh_pid=$(ps u|awk "/ssh ${ssh_host}/ && !/grep/{print $2}")
+        [ -n "${ssh_pid}" ] && kill ${ssh_pid} 2>/dev/null
+    done
+fi
+
+if [ "$SHLVL" = 1 ]; then
+    [ -x /usr/bin/clear_console ] && /usr/bin/clear_console -q
+fi
-- 
cgit 1.4.1-2-gfad0