init.logout.patch   [plain text]


--- init/logout.old	2007-02-23 16:12:31.000000000 -0800
+++ init/logout	2007-02-19 23:58:17.000000000 -0800
@@ -0,0 +1,24 @@
+##
+# LOGOUT FILE
+#
+# Wilfredo Sanchez Jr. | tritan@mit.edu
+# Dec. 5, 1990
+#
+# MIT Project Athena
+##
+
+if (! $?TERM_PROGRAM) then
+  # Don't run these commands if the shell is launched by Terminal,
+  # even if it's a login shell.
+
+  # Destroy kerberos tickets, if any, on logout
+  #if ({ (klist -s >& /dev/null) }) kdestroy
+
+endif
+
+##
+# Read user's logout
+##
+if (-r "${tcsh_initdir}/logout.mine") then
+  source "${tcsh_initdir}/logout.mine"
+endif