equal
deleted
inserted
replaced
17 # the debian-policy package |
17 # the debian-policy package |
18 |
18 |
19 |
19 |
20 case "$1" in |
20 case "$1" in |
21 remove|upgrade|deconfigure) |
21 remove|upgrade|deconfigure) |
22 if [ "CREATE_JRE_INSTALLER" != "true" ]; then |
22 if [ "RUNTIME_INSTALLER" != "true" ]; then |
23 echo Removing shortcut |
23 echo Removing shortcut |
24 SECONDARY_LAUNCHERS_REMOVE |
24 SECONDARY_LAUNCHERS_REMOVE |
25 xdg-desktop-menu uninstall --novendor INSTALLATION_DIRECTORY/APPLICATION_FS_NAME/APPLICATION_LAUNCHER_FILENAME.desktop |
25 xdg-desktop-menu uninstall --novendor INSTALLATION_DIRECTORY/APPLICATION_FS_NAME/APPLICATION_LAUNCHER_FILENAME.desktop |
26 FILE_ASSOCIATION_REMOVE |
26 FILE_ASSOCIATION_REMOVE |
27 fi |
27 fi |