1 # Remove icons from the system icons 2 XDG_ICON_RESOURCE="`which xdg-icon-resource 2> /dev/null`" 3 if [ ! -x "$XDG_ICON_RESOURCE" ]; then 4 echo "Error: Could not find xdg-icon-resource" >&2 5 exit 1 6 fi 7 for icon in "@@INSTALLDIR@@/product_logo_"*.png; do 8 size="${icon##*/product_logo_}" 9 "$XDG_ICON_RESOURCE" uninstall --size "${size%.png}" "@@PACKAGE@@" 10 done 11 12 # Remove the entry from the system menu 13 XDG_DESKTOP_MENU="`which xdg-desktop-menu 2> /dev/null`" 14 UPDATE_MENUS="`which update-menus 2> /dev/null`" 15 if [ ! -x "$XDG_DESKTOP_MENU" ]; then 16 echo "Error: Could not find xdg-desktop-menu" >&2 17 exit 1 18 fi 19 "$XDG_DESKTOP_MENU" uninstall @@INSTALLDIR@@/@@PACKAGE@@.desktop 20 21 if [ -x "$UPDATE_MENUS" ]; then 22 update-menus 23 fi 24
