1 files changed, 25 insertions, 0 deletions
diff --git a/development/mono2/doinst.sh b/development/mono2/doinst.sh
new file mode 100644
index 0000000000000..9b80092129919
--- /dev/null
+++ b/development/mono2/doinst.sh
@@ -0,0 +1,25 @@
+config() {
+  NEW="$1"
+  OLD="$(dirname $NEW)/$(basename $NEW .new)"
+  # If there's no config file by that name, mv it over:
+  if [ ! -r $OLD ]; then
+    mv $NEW $OLD
+  elif [ "$(cat $OLD | md5sum)" = "$(cat $NEW | md5sum)" ]; then
+    # toss the redundant copy
+    rm $NEW
+  fi
+  # Otherwise, we leave the .new copy for the admin to consider...
+}
+
+config etc/mono/browscap.ini.new
+config etc/mono/config.new
+config etc/mono/mconfig/config.xml.new
+config etc/mono/2.0/Browsers/Compat.browser.new
+config etc/mono/2.0/DefaultWsdlHelpGenerator.aspx.new
+config etc/mono/2.0/machine.config.new
+config etc/mono/2.0/settings.map.new
+config etc/mono/2.0/web.config.new
+config etc/mono/4.0/DefaultWsdlHelpGenerator.aspx.new
+config etc/mono/4.0/machine.config.new
+config etc/mono/4.0/settings.map.new
+config etc/mono/4.0/web.config.new