From ea40fa6e1517d2d25cccf0cfc50a5f58ca24614f Mon Sep 17 00:00:00 2001 From: Don Armstrong Date: Tue, 23 Sep 2014 22:33:20 -0700 Subject: [PATCH 1/1] set PATH to point at mr and vcsh copy back mr and vcsh symlinks --- new_home_directory | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/new_home_directory b/new_home_directory index 1b04678..99585bd 100755 --- 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; -- 2.39.2