From 6fdacc67d7d5956eaa91c294761adac0b17e13f3 Mon Sep 17 00:00:00 2001
From: Don Armstrong <don@donarmstrong.com>
Date: Tue, 20 Jan 2015 22:51:50 -0800
Subject: [PATCH] fix default .mrconfig

---
 new_home_directory | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/new_home_directory b/new_home_directory
index 3554bac..f32e7aa 100755
--- 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
-- 
2.39.2