debian/canfestival-objdictedit.postrm
author fbeaulier
Tue, 16 Aug 2011 14:15:52 +0200
changeset 663 70fc3603e36f
parent 346 59dbdcc99264
permissions -rw-r--r--
timers_unix.c : remove sigint and sigterm catch
sdo : Allow multiple servers
The sdo transfer struct is not anymore referenced by server's node id but by
client or server number in the OD. Node id is not relevant in SDO transfert.
346
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     1
#!/bin/sh
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     2
# postrm script for canfestival-objdictedit
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     3
#
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     4
# see: dh_installdeb(1)
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     5
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     6
set -e
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     7
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     8
OBJDICTEDIT=/usr/bin/objdictedit
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     9
OBJDICTGEN=/usr/bin/objdictgen
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    10
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    11
case "$1" in
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    12
    purge|remove|upgrade|failed-upgrade|abort-install|abort-upgrade|disappear)
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    13
	
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    14
	if [ -f "$OBJDICTEDIT" ]; then		
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    15
		rm $OBJDICTEDIT
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    16
	fi
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    17
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    18
	if [ -f "$OBJDICTGEN" ]; then		
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    19
		rm $OBJDICTGEN
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    20
	fi
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    21
	;;
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    22
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    23
    *)
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    24
        echo "postrm called with unknown argument \`$1'" >&2
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    25
        exit 1
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    26
    ;;
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    27
esac
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    28
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    29
# dh_installdeb will replace this with shell code automatically
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    30
# generated by other debhelper scripts.
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    31
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    32
#DEBHELPER#
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    33
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    34
exit 0
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    35
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    36