# .profile-File fuer User-Verzeichnis
#  anmu 21.5.2002

# Achtung !
# In diesem File nichts veraendern !!

# Fuer eigene  Konfigurationen die Files
# $HOME/.profile  und  $HOME/.bashrc   verwenden.
# Die Abarbeitungsreihenfolge der Files .{profile,bashrc} erfolgt wie
# ihre Originale!

# Die Files $HOME/.bash_profile und .bash_login nicht einrichten, da sonst der
# Startupmechanismus nicht wirkt!

# 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 Anfangseinstellungen bis "Ende globale Anfangseinstellungen"        #
# nicht veraendern !                                                          #
###############################################################################

STDFILES=/home/informatik/fs37/punktfiles/default

if [ -d $STDFILES ]
then
 . $STDFILES/profile
else
 if [ "$PS1" ]
 then
  echo ""
  echo "#######################################################################"
  echo ""
  echo "Warnung: Nicht alle Voreinstellungen ausgeführt:"
  echo globales Verzeichnis \"$STDFILES\" nicht gefunden
  echo ""
 fi
fi
###############################################################################
# (Suchpfad, stty, ...) und ggf. ein Window-System aufgerufen.                #
#                                                                             #
# Ende globale Anfangseinstellungen                                           #
#                                                                             #
###############################################################################