update new home directory

diff --git a/new_home_directory b/new_home_directory
index 99585bdb10e4e994649be1eb07e45b20c7c8272d..3e348a40d6daff49878d4ff8f639196c466bf8b1 100755 (executable)
--- a/new_home_directory
+++ b/new_home_directory
@@ -55,6 +55,7 @@ if [ "$1" = "ssh" ]; then
 else 
     vcsh clone $GIT_BASE/mr.git mr;
 fi;
+
 mr checkout;
 
 for a in .zsh .ssh; do
@@ -67,7 +68,7 @@ for a in .zsh .ssh; do
 done;
 
 if [ ! -e .ssh/authorized_keys ]; then
-    (cd .ssh/; ln authorized_keys_default authorized_keys -s;)
+    (cd .ssh/; ln authorized_keys_default authorized_keys -s; )
 fi;
 
 # do some cleanup; you might want to run git reset --hard in some
@@ -76,8 +77,9 @@ fi;
 mr run git reset --soft origin/master
 mr up
 
-# make sure mr and vcsh are in ~/bin if they are in ~/bin.bak
+# move mr and vcsh to ~/bin if they are in ~/bin.bak
 for pkg in mr vcsh; do
     if [ -e ~/bin.bak/$pkg ]; then
-        cp ~/bin.bak/$pkg ~/bin/$pkg;
+        mv ~/bin.bak/$pkg ~/bin/;
     fi;
+done;