debian/postrm
author Edouard Tisserant
Tue, 08 May 2012 17:08:45 +0200
changeset 721 ecf4d203c4d4
parent 91 8d6dd867cf27
permissions -rw-r--r--
refactoring
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