set PATH to point at mr and vcsh

[bin.git] / new_home_directory

diff --git a/new_home_directory b/new_home_directory
index 1b046788f7b54856f958f3d56e13841df63a5294..99585bdb10e4e994649be1eb07e45b20c7c8272d 100755 (executable)
--- a/new_home_directory
+++ b/new_home_directory
@@ -26,6 +26,8 @@ for pkg in mr vcsh; do
         if [ "$pkg" == "mr" ]; then
             echo "include = cat ~/local_packages/$pkg/usr/share/mr/*" >> ~/.mrconfig
         fi;
+        PATH="$HOME/local_packages/$pkg/usr/bin/:$PATH"
+        export PATH
     fi;
 done;
 
@@ -73,3 +75,9 @@ fi;
 # that should be kept
 mr run git reset --soft origin/master
 mr up
+
+# make sure mr and vcsh are in ~/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;
+    fi;