debian/postrm
author lbessard
Tue, 09 Jun 2009 10:10:34 +0200
changeset 356 e9698d0ee5f3
parent 91 8d6dd867cf27
permissions -rw-r--r--
Adding support for printing lines where matiec failed in Log console (thanks to Brendan)
Bug that prevent to see errors in editor with double click fixed.
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