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