debian/postinst
author laurent
Wed, 21 Dec 2011 19:41:29 +0100
changeset 613 c487c54c1cfe
parent 139 c2d093402005
permissions -rw-r--r--
Fixing bug conflict on tab selection between POU editor and Debug window of an instance of this same POU on Windows
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
# postinst 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
#        * <postinst> `configure' <most-recently-configured-version>
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    10
#        * <old-postinst> `abort-upgrade' <new version>
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    11
#        * <conflictor's-postinst> `abort-remove' `in-favour' <package>
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    12
#          <new-version>
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    13
#        * <postinst> `abort-remove'
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    14
#        * <deconfigured's-postinst> `abort-deconfigure' `in-favour'
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    15
#          <failed-install-package> <version> `removing'
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    16
#          <conflicting-package> <version>
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    17
# for details, see http://www.debian.org/doc/debian-policy/ or
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    18
# the debian-policy package
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    19
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    20
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    21
case "$1" in
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    22
    configure)
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    23
	if ! [ -d "/usr/bin" ]; then
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    24
		mkdir /usr/bin
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    25
	fi
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    26
	ln -sf /usr/share/plcopeneditor/PLCOpenEditor.py /usr/bin/plcopeneditor
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    27
	chmod 755 /usr/share/plcopeneditor/PLCOpenEditor.py
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
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    30
    abort-upgrade|abort-remove|abort-deconfigure)
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
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
        echo "postinst called with unknown argument \`$1'" >&2
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    35
        exit 1
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
esac
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
# dh_installdeb will replace this with shell code automatically
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    40
# generated by other debhelper scripts.
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    41
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    42
#DEBHELPER#
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    43
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    44
exit 0
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    45
c2d093402005 add debian directory to create debian binary packages
greg
parents:
diff changeset
    46