debian/postrm
author laurent
Wed, 02 May 2012 00:32:15 +0200
changeset 675 0ea836add01f
parent 139 c2d093402005
permissions -rw-r--r--
Adding support for saving and restoring zoom and position of editors through closing and opening tab of the same POU or POU instance
139
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
     1
#!/bin/sh
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
     2
# postrm script for plcopeneditor
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
     3
#
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
     4
# see: dh_installdeb(1)
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
     5
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
     6
set -e
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
     7
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
     8
# summary of how this script can be called:
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
     9
#        * <postrm> `remove'
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    10
#        * <postrm> `purge'
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    11
#        * <old-postrm> `upgrade' <new-version>
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    12
#        * <new-postrm> `failed-upgrade' <old-version>
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    13
#        * <new-postrm> `abort-install'
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    14
#        * <new-postrm> `abort-install' <old-version>
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    15
#        * <new-postrm> `abort-upgrade' <old-version>
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    16
#        * <disappearer's-postrm> `disappear' <overwriter>
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    17
#          <overwriter-version>
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    18
# for details, see http://www.debian.org/doc/debian-policy/ or
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    19
# the debian-policy package
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    20
POE=/usr/bin/plcopeneditor
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    21
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    22
case "$1" in
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    23
    purge|remove|upgrade|failed-upgrade|abort-install|abort-upgrade|disappear)
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    24
	if [ -f "$POE" ]; then
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    25
		rm $POE
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    26
	fi
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    27
	;;
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    28
    *)
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    29
        echo "postrm called with unknown argument \`$1'" >&2
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    30
        exit 1
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    31
    ;;
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    32
esac
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    33
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    34
# dh_installdeb will replace this with shell code automatically
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    35
# generated by other debhelper scripts.
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    36
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    37
#DEBHELPER#
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    38
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    39
exit 0
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    40
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    41