| 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 |