1# Remove icons from the system icons 2XDG_ICON_RESOURCE="`which xdg-icon-resource 2> /dev/null || true`" 3if [ ! -x "$XDG_ICON_RESOURCE" ]; then 4 echo "Error: Could not find xdg-icon-resource" >&2 5 exit 1 6fi 7for icon in "@@INSTALLDIR@@/product_logo_"*.png; do 8 size="${icon##*/product_logo_}" 9 "$XDG_ICON_RESOURCE" uninstall --size "${size%.png}" "@@PACKAGE@@" 10done 11 12UPDATE_MENUS="`which update-menus 2> /dev/null || true`" 13if [ -x "$UPDATE_MENUS" ]; then 14 update-menus 15fi 16 17# Update cache of .desktop file MIME types. Non-fatal since it's just a cache. 18update-desktop-database || true 19