diff options
Diffstat (limited to 'build/deb/control/postrm')
-rwxr-xr-x | build/deb/control/postrm | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/build/deb/control/postrm b/build/deb/control/postrm new file mode 100755 index 000000000000..45baf62ad2a7 --- /dev/null +++ b/build/deb/control/postrm @@ -0,0 +1,19 @@ +#!/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 + |