1 files changed, 15 insertions, 0 deletions
diff --git a/workbench.install b/workbench.install
new file mode 100644
index 000000000000..47b20518d56f
--- /dev/null
+++ b/workbench.install
@@ -0,0 +1,15 @@
+#!/bin/sh
+post_install() {
+	update-mime-database usr/share/mime &> /dev/null
+	xdg-icon-resource forceupdate --theme hicolor &> /dev/null
+    update-desktop-database -q
+}
+
+post_upgrade() {
+	post_install
+}
+
+post_remove() {
+	post_install
+}
+