# .bash_profile

#----------------------------------------------------------------------------#
# .bash_profile standard LINUX
#----------------------------------------------------------------------------#
# Get the aliases and functions
if [ -f ~/.bashrc ]; then
	. ~/.bashrc
fi

export BASH_ENV=$HOME/.bashrc

PATH=$PATH:$HOME/bin

export PATH
unset USERNAME

#----------------------------------------------------------------------------#
#  JDK VERSION
#----------------------------------------------------------------------------#
echo "Choose the JDK version:"
echo "1 : JDK 1.3.1"
echo "2 : JDK 1.4.1"
echo "(The choosen JDK should be installed)"
echo -n "JDK="
read R
case $R in
2)
    JAVA_HOME=/usr/lib/jdk-1.4.1_01
    ;;
*)
    JAVA_HOME=/usr/lib/jdk-1.3.1_06
    ;;
esac

export JAVA_HOME

#  Ant
export ANT_HOME=/var/www/jakarta-ant-1.5

#  Tomcat
export CATALINA_HOME=/var/www/jakarta-tomcat-4.1.18
export CATALINA_BASE=$CATALINA_HOME/jonas

#  JOnAS
export JONAS_ROOT=/var/www/JONAS

#  PATH
PATH=$ANT_HOME/bin:$JAVA_HOME/bin:$JONAS_ROOT/bin/unix:$PATH

#  OBJECTWEB_ORB
export OBJECTWEB_ORB=RMI