diff .bashrc @ 332:d0f91aad5f84

better
author Jeff Hammel <jhammel@mozilla.com>
date Mon, 17 Jun 2013 23:47:14 -0700
parents 133eb1ade1dd
children 5b67dd5ce0ba
line wrap: on
line diff
--- 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