# HG changeset patch
# User Jeff Hammel <jhammel@mozilla.com>
# Date 1371538034 25200
# Node ID d0f91aad5f842f6d95e6f346644fff0361ebeb2c
# Parent  133eb1ade1dd2dd7e9026cd0ea220bb7eb52098f
better

diff -r 133eb1ade1dd -r d0f91aad5f84 .bashrc
--- a/.bashrc	Mon Jun 17 22:22:05 2013 -0700
+++ b/.bashrc	Mon Jun 17 23:47:14 2013 -0700
@@ -1,4 +1,8 @@
-source /etc/profile
+PROFILE=/etc/profile
+if [ -e "${PROFILE}" ]
+then
+    . "${PROFILE}"
+fi
 
 # Test for an interactive shell.  There is no need to set anything
 # past this point for scp and rcp, and it's important to refrain from