dejsem.1.5/unix/debian/client.DEBIAN/prerm
author hh
Wed, 27 Nov 2019 09:50:16 +0100
changeset 0 676905a3b03c
permissions -rwxr-xr-x
--
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
0
hh
parents:
diff changeset
     1
#!/bin/sh
hh
parents:
diff changeset
     2
set -e
hh
parents:
diff changeset
     3
. /usr/share/debconf/confmodule
hh
parents:
diff changeset
     4
hh
parents:
diff changeset
     5
rm -rf /usr/lib/dejsem/__pycache__ || true
hh
parents:
diff changeset
     6
hh
parents:
diff changeset
     7
/etc/init.d/dejsemd stop || true
hh
parents:
diff changeset
     8
hh
parents:
diff changeset
     9
test -e /etc/default/dejsem && . /etc/default/dejsem || true
hh
parents:
diff changeset
    10
test x$LOG != x && rm -f $LOG || true
hh
parents:
diff changeset
    11
hh
parents:
diff changeset
    12
#expr match $DPKG_MAINTSCRIPT_PACKAGE. ^dejsem >/dev/null 2>&1 && {
hh
parents:
diff changeset
    13
#	rm -f /usr/bin/dd.l
hh
parents:
diff changeset
    14
#	rm -f /usr/bin/dd.list
hh
parents:
diff changeset
    15
#	rm -f /usr/bin/dd.plc
hh
parents:
diff changeset
    16
#	rm -f /usr/bin/dd.plf
hh
parents:
diff changeset
    17
#	rm -f /usr/bin/dd.plp
hh
parents:
diff changeset
    18
#	rm -f /usr/bin/dd.puc
hh
parents:
diff changeset
    19
#	rm -f /usr/bin/dd.puf
hh
parents:
diff changeset
    20
#	rm -f /usr/bin/dd.pull
hh
parents:
diff changeset
    21
#	rm -f /usr/bin/dd.pullfile
hh
parents:
diff changeset
    22
#	rm -f /usr/bin/dd.pulllist
hh
parents:
diff changeset
    23
#	rm -f /usr/bin/dd.pullpeer
hh
parents:
diff changeset
    24
#	rm -f /usr/bin/dd.pup
hh
parents:
diff changeset
    25
#	rm -f /usr/bin/dd.push
hh
parents:
diff changeset
    26
#	rm -f /usr/bin/dd.pushfile
hh
parents:
diff changeset
    27
#	rm -f /usr/bin/dd.pushpeer
hh
parents:
diff changeset
    28
#} || true
hh
parents:
diff changeset
    29