# ~/.bash_profile: executed by bash(1) for login shells.
sbrl_bashprofile_executed=true;

if [ ! -f "/dev/shm/cloudcatcher-banner.txt" ]; then
	$HOME/bin/cloudcatcher/cloudcatcher.sh >/dev/shm/cloudcatcher-banner.txt;
fi

cat /dev/shm/cloudcatcher-banner.txt;

if [ "${sbrl_bashrc_executed}" = "" ]; then
	source $HOME/.bashrc;
fi