debian/postrm
author laurent
Sun, 08 Jan 2012 19:04:41 +0100
changeset 659 71a824446673
parent 91 8d6dd867cf27
permissions -rw-r--r--
Adding support for drag'n dropping located variables from topology panel to configurations and resources variable panel for declaring global located variables
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