# Title	         : bashrc -- shared startup file for GNU bash 
# Created        : Wed, 12-Aug-92 / 02:29 / (pf)
# Overhauled and 
#    simplified  : Tue, 21-Nov-06 / 07:43 / (pf)
# Version        : $Id: .bashrc,v 1.6 2013-02-22 12:01:57 pf Exp $
# Remarks        : Calling this from users home .bashrc is absolutely optional
if [ -f /customer/USE_CLASSIC_ENVIRONMENT ] || \
   [ -f /etc/opt/artcom/USE_CLASSIC_ENVIRONMENT ]
then if [ -z "$BITSLIB" ]
     then BITSLIB=/bitslib
     fi
     source $BITSLIB/mustermann/classic.bashrc
elif [ -z "$BITSLIB" ]
then # Add the ArtCom software to program search path $PATH:
     BITSLIB=/opt/artcom/current
     for BINDIR in /usr/local/bin $BITSLIB/bin $BITSLIB/etc /projects/bin ; do
	 if [ -d "$BINDIR" ] 
	 then echo ":$PATH:" | grep ':'"$BINDIR"':' >/dev/null ||
		  PATH=$BINDIR:$PATH
	 fi
     done
fi
# see http://larsmichelsen.com/open-source/bash-timestamp-in-bash-history/ for
# credits.  Works since Bash version 3.0 and effects output format of the
# history command:
if [ -n "$PS1" ] && [ -z "$HISTTIMEFORMAT" ]
then export HISTTIMEFORMAT="%F %T "
fi
