From: Alexander Barton <alex@barton.de>
Date: Mon, 23 Mar 2009 21:50:58 +0000 (+0100)
Subject: Update copyright notice and file information text
X-Git-Url: https://arthur.barton.de/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=68795581191142ef080d1acf993f07d5618af31f;hp=4a075403289c37cff04eab4de6d267d626c219c2;p=ConfigScripts.git

Update copyright notice and file information text
---

diff --git a/user/bash_logout b/user/bash_logout
index ce8846a..ea57bae 100644
--- a/user/bash_logout
+++ b/user/bash_logout
@@ -2,17 +2,27 @@
 # ~/.bash_logout: executed by bash(1) on logout
 # Written 2003-2009 by Alexander Barton (alex@barton.de)
 #
+# This script is executed by bash(1) on logout.
+#
+# PLEASE NOTE:
+# To make this script generic, it sources ~/bash_logout.user if it exists.
+# So you shouldn't make changes to this script, but create your own
+# individual ~/bash_logout.user file!
+#
+
+[ -e ~/.ConfigScripts.debug ] && echo " >> ~/.bash_logout ..."
 
-[ -e /tmp/ConfigDebug.$USER ] && echo " >> ~/.bash_logout ..."
+[ -r ~/.bash_logout.user ] && source ~/.bash_logout.user
 
-# clean up SSH agents
+# Clean up SSH agents, if running
 [ $SSH_AGENT_PID ] && eval `ssh-agent -k`
 
+# Clear console, it it is local terminal
 case `tty` in
-/dev/tty[0-9]*)
+    /dev/tty[0-9]*|/dev/ttyS[0-9]*)
 	[ -x /usr/bin/clear_console ] && /usr/bin/clear_console --quiet || clear
 	;;
-*)
+    *)
 	echo "Bye, bye, $USER!"; echo
 esac