* add $HOME/bin to $PATH if it exists

[lab.git] / TipAndDoc / .bashrc

diff --git a/TipAndDoc/.bashrc b/TipAndDoc/.bashrc
index 298d439..bece347 100644 (file)
--- a/TipAndDoc/.bashrc
+++ b/TipAndDoc/.bashrc
@@ -38,6 +38,10 @@ else
     export PS1='${debian_chroot:+($debian_chroot)}\u@\h:\w\$ '
 fi
 
+if [ -d $HOME/bin -a `echo $PATH | grep -c $HOME/bin` -eq 0 ]; then
+    export PATH=$PATH:$HOME/bin
+fi
+
 function svnst {
     svn st $@ | grep "^[^?]"
 }