fix default .mrconfig

[bin.git] / new_home_directory

diff --git a/new_home_directory b/new_home_directory
index 3554bacfecc810ffd050f0fae498dabe90531684..f32e7aa68d7aa4cd519728fe824e95c48be77bfd 100755 (executable)
--- a/new_home_directory
+++ b/new_home_directory
@@ -24,7 +24,7 @@ for pkg in mr vcsh; do
         mkdir -p bin
         ln ~/local_packages/$pkg/usr/bin/$pkg bin/$pkg -s
         if [ "$pkg" == "mr" ]; then
-            echo "include = cat ~/local_packages/$pkg/usr/share/mr/*" >> ~/.mrconfig
+            echo -e "[DEFAULT]\ninclude = cat ~/local_packages/$pkg/usr/share/mr/*" >> ~/.mrconfig
         fi;
         PATH="$HOME/local_packages/$pkg/usr/bin/:$PATH"
         export PATH