Index: dino-pkg-install.sh
===================================================================
--- dino-pkg-install.sh (revision 87)
+++ dino-pkg-install.sh (revision 88)
@@ -21,7 +21,10 @@
# arg 1: the new package version
post_install() {
- /bin/true
+ # Update desktop database
+ if [ -x /usr/bin/update-desktop-database ]; then
+ /usr/bin/update-desktop-database -q usr/share/applications > /dev/null 2>&1
+ fi
}
# arg 1: the new package version