Index: .bash_profile
===================================================================
--- .bash_profile	(revision 766bb6a9e359f1d33f134719ef8ce266ba01e4ea)
+++ .bash_profile	(revision df4fa7ba97367054d8073e9f9626b28d8936d941)
@@ -1,5 +1,5 @@
 # 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