debian/postrm
author laurent
Thu, 24 Sep 2009 18:27:45 +0200
changeset 401 8106a853a7c7
parent 91 8d6dd867cf27
permissions -rw-r--r--
Adding support for displaying plugins available variable into Beremiz plugin tree
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