debian/postrm
author laurent
Mon, 05 Mar 2012 12:02:20 +0100
changeset 697 3e83853081d4
parent 91 8d6dd867cf27
permissions -rw-r--r--
Adding support for not closing debug tabs and remove variable in variable debug panel if instance still exist in newly transfered program
91
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     1
#!/bin/sh
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     2
# postrm script for canfestival-objdictedit
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     3
#
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     4
# see: dh_installdeb(1)
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     5
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     6
set -e
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     7
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     8
BEREMIZ=/usr/bin/beremiz
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
     9
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    10
case "$1" in
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    11
    purge|remove|upgrade|failed-upgrade|abort-install|abort-upgrade|disappear)
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    12
	
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    13
	if [ -f "$BEREMIZ" ]; then
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    14
		rm $BEREMIZ
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    15
	fi
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    16
	;;
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    17
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    18
    *)
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    19
        echo "postrm called with unknown argument \`$1'" >&2
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    20
        exit 1
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    21
    ;;
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    22
esac
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    23
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    24
# dh_installdeb will replace this with shell code automatically
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    25
# generated by other debhelper scripts.
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    26
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    27
#DEBHELPER#
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    28
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    29
exit 0
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    30
8d6dd867cf27 add debian dir to create debian package
greg
parents:
diff changeset
    31