# .bash_logout-File fuer User-Verzeichnis
#  anmu 16. Juli 2002
#

# Achtung !
# In diesem File nichts veraendern !!

# Fuer eigene  Konfigurationen das File
# $HOME/.bash_logout verwenden.

# Die Punktfiles koennen bei Bedarf von
# /home/informatik/fs37/punktfiles/muster/ in das HOME-Verzeichnis kopiert werden.
# A.Mueller anmu@informatik.tu-chemnitz.de

###############################################################################
#                                                                             #
# globale Einstellungen bis "Ende globale Einstellungen"                      #
# nicht veraendern !                                                          #
###############################################################################
STDFILES=/home/informatik/fs37/punktfiles/default

if [ -d $STDFILES ]
then
 . $STDFILES/bash_logout
fi

###############################################################################
# In dem File $STDFILES/bash_logout werden Standardeinstellungen              #
# beim Ausloggen vorgenommen.                                                 #
#                                                                             #
# Ende globale Einstellungen                                                  # 
#                                                                             #
###############################################################################