Conditionally execute .bashrc only if it hasn't been done so already

.bash_profile

@@ -6,5 +6,7 @@ fi
 
 cat /dev/shm/cloudcatcher-banner.txt;
 
-source $HOME/.bashrc;
+if [ "${sbrl_bashrc_executed}" = "" ]; then
+	source $HOME/.bashrc;
+fi
 

.bashrc

@@ -8,6 +8,8 @@ case $- in
       *) return;;
 esac
 
+sbrl_bashrc_executed=true;
+
 # don't put duplicate lines or lines starting with space in the history.
 # See bash(1) for more options
 HISTCONTROL=ignoreboth