post_install() { if [ -x /usr/bin/xdg-icon-resource ] ; then xdg-icon-resource forceupdate --theme hicolor &> /dev/null fi if [ -x update-desktop-database ] ; then update-desktop-database -q fi } post_upgrade() { post_install } post_remove() { post_install }