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