changeset 332:d0f91aad5f84

better
author Jeff Hammel <jhammel@mozilla.com>
date Mon, 17 Jun 2013 23:47:14 -0700
parents 133eb1ade1dd
children 998d3c276b25 b27ea86a9c9e
files .bashrc
diffstat 1 files changed, 5 insertions(+), 1 deletions(-) [+]
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