* rename bin/ to '.bin/'
[lab.git] / .bash_profile
index 91c8ae0..21e6365 100644 (file)
@@ -1,6 +1,6 @@
 # set PATH so it includes user's private bin if it exists
-if [ -d "$HOME/bin" ] ; then
-    PATH="$HOME/bin:$PATH"
+if [ -d "$HOME/.bin" ] ; then
+    PATH="$HOME/.bin:$PATH"
 fi
 
 /usr/bin/screen -d -RR -U