| # Remove icons from the system icons | |
| XDG_ICON_RESOURCE="`command -v xdg-icon-resource 2> /dev/null || true`" | |
| if [ ! -x "$XDG_ICON_RESOURCE" ]; then | |
| echo "Error: Could not find xdg-icon-resource" >&2 | |
| exit 1 | |
| fi | |
| for icon in @@LOGO_RESOURCES_PNG@@; do | |
| size="$(echo ${icon} | sed 's/[^0-9]//g')" | |
| "$XDG_ICON_RESOURCE" uninstall --size "${size}" "@@PACKAGE@@" | |
| done | |
| # Update cache of .desktop file MIME types. Non-fatal since it's just a cache. | |
| update-desktop-database > /dev/null 2>&1 || true |