| #!/bin/sh | |
| set -e | |
| export PRODUCT=@product@ | |
| export BUILD=@build@ | |
| # Removing binary files | |
| export TARGET_FOLDER=/opt/jetbrains/${PRODUCT} | |
| rm -rf ${TARGET_FOLDER} | |
| if [ -d ${TARGET_FOLDER} ] | |
| then | |
| echo Removing ${TARGET_FOLDER} folder failed, remove it manually later. | |
| fi | |
| # Updating menus | |
| if [ -x "`which update-menus 2>/dev/null`" ]; then | |
| update-menus ; | |
| fi | |