diff bashrc/bash_profile @ 81:2e0fbe44e9fe

Updated bashrc files.
author Ludovic Chabant <ludovic@chabant.com>
date Wed, 14 Mar 2012 11:34:05 -0700
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bashrc/bash_profile	Wed Mar 14 11:34:05 2012 -0700
@@ -0,0 +1,6 @@
+
+# include .bashrc if it exists
+if [ -f ~/.bashrc ]; then
+    . ~/.bashrc
+fi
+