diff options
Diffstat (limited to 'debian/JB-jre.prerm.in')
| -rw-r--r-- | debian/JB-jre.prerm.in | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/debian/JB-jre.prerm.in b/debian/JB-jre.prerm.in new file mode 100644 index 0000000..f32dbe6 --- /dev/null +++ b/debian/JB-jre.prerm.in @@ -0,0 +1,14 @@ +#!/bin/sh + +set -e + +basedir=/@basedir@ +jre_tools='@jre_tools@' + +if [ "$1" = "remove" ] || [ "$1" = "deconfigure" ]; then + for i in $jre_tools; do + update-alternatives --remove $i $basedir/jre/bin/$i + done +fi + +#DEBHELPER# |