# ~/.bash_profile: executed by bash for login shells.

if [ -e /etc/bash.bashrc ] ; then
  source /etc/bash.bashrc
fi

if [ -e ~/.bashrc ] ; then
  source ~/.bashrc
fi

PATH=$PATH:/opt/tinyos-1.x/tools/java/net/tinyos/sim/

echo "Choose 0 for AIBO Project, 1 for AIBO Monitor, 2 for TinyOS Java, 3 for Home:"
read CHOICE


if [ $CHOICE == 0 ] ; then
	PATH=/jdk1.5/bin:$PATH
	cd project
	echo "Usage: make update"
elif [ $CHOICE == 1 ] ; then
	PATH=/jdk1.5/bin:$PATH
	cd /usr/local/Tekkotsu/tools/mon
	echo "Usage: ./ControllerGUI [AIBO IP Address]"
elif [ $CHOICE == 2 ] ; then
	PATH=/jdk1.4/bin:$PATH
	cd /opt/tinyos-1.x/tools/java
	echo "Usage to compile: make"
	echo "Usage to run: make run"
fi

export PATH