[MonoDevelop] [patch] "--repair" option

[Zac Bowling]

--=-OWRiFkk0ygNjmAfzV/uW
Content-Type: text/plain
Content-Transfer-Encoding: 7bit

Quick little patch to add a --repair option to monodevelop.in to delete
the "~/.config/MonoDevelop/" folder's contents. 

Hope its useful.
Zac

--=-OWRiFkk0ygNjmAfzV/uW
Content-Disposition: inline; filename=repair.patch
Content-Type: text/x-patch; name=repair.patch; charset=UTF-8
Content-Transfer-Encoding: 7bit

Index: ChangeLog
===================================================================
--- ChangeLog	(revision 2444)
+++ ChangeLog	(working copy)
@@ -1,3 +1,6 @@
+2005-04-10 Zac Bowling <zac@zacbowling.com>
+	* monodevelop.in: added --repair option to delete profile
+
 2005-04-03  John Luke  <john.luke@gmail.com>
 
 	* autogen.sh: add back aclocal
Index: monodevelop.in
===================================================================
--- monodevelop.in	(revision 2444)
+++ monodevelop.in	(working copy)
@@ -49,6 +49,11 @@
 cd $MD_BIN_PATH
 
 case x$1 in
+	x--repair)
+		echo "** Removing Profile Data **"
+		rm -rfv ~/.config/MonoDevelop/
+		exit 0
+		;;
 	x--profile)
 		exec @RUNTIME@ --profile ./MonoDevelop.exe $@
 		exit 0

--=-OWRiFkk0ygNjmAfzV/uW--