#  Title	: bash_profile -- shared startup for gnu bash 
#  Created      :       Wed, 12-Aug-92 / 02:29 / (pf)
#  Version      : $Id: .bash_profile,v 1.2 2007-02-13 11:14:33 pf Exp $
#  Remarks      : Eine Login-Shell fuehrt normalerweise statt '.bashrc'
#                 die Datei '.bash_profile' aus.  Da aber die erste
#                 Shell auf unseren X11 Arbeitsplaetzen keine echte
#                 Login-Shell ist, wird dort gleich nur .bashrc
#                 gestartet.  Deshalb ist die gesamte Funktionalitaet
#                 zum Aufbau des Environments in '.bashrc' untergebracht
#                 und hier wird nur ein 'source'-Aufruf vorgenommen:
. $HOME/.bashrc
