1 files changed, 30 insertions, 0 deletions
diff --git a/extra/mono-tools/mono-tools.install b/extra/mono-tools/mono-tools.install
new file mode 100644
index 000000000..03f6f2f7e
--- /dev/null
+++ b/extra/mono-tools/mono-tools.install
@@ -0,0 +1,30 @@
+post_install() {
+  # diable for a while maybe we can implement something in pacman to make it faster
+  #echo "creating index ... this could take a up to several minutes ..."
+  #monodoc --make-search-index > /dev/null  2>&1
+  echo "update desktop mime database..."
+  update-desktop-database -q
+}
+
+
+pre_upgrade() {
+  echo "removing index..."
+  rm -f  /opt/mono/lib/monodoc/monodoc.index
+  rm -rf /opt/mono/lib/monodoc/search_index
+}
+
+# arg 1:  the new package version
+# arg 2:  the old package version
+post_upgrade() {
+  post_install $1
+}
+
+post_remove() {
+  echo "removing index..."
+  rm -f  /usr/lib/monodoc/monodoc.index
+  rm -rf /usr/lib/monodoc/search_index
+  echo "update desktop mime database..."
+  update-desktop-database -q
+}
+
+# vim: ft=sh