diff --git a/.bash_profile b/.bash_profile
index fc8810a..0c28ff7 100644
--- a/.bash_profile
+++ b/.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
 
diff --git a/.bashrc b/.bashrc
index 4f73b05..e57f6cc 100644
--- a/.bashrc
+++ b/.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