1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
#!/bin/sh
set -e
case "${1}" in
remove|upgrade|deconfigure)
DIRECTORIES="$(cd /usr/share/dokuwiki/plugins-extra && ls -d */ | sed -e 's|/$||g')"
# Removing all plugins
for PLUGIN in ${DIRECTORIES}
do
if [ -L "/var/lib/dokuwiki/lib/plugins/${PLUGIN}" ]
then
if [ "$(dirname $(readlink /var/lib/dokuwiki/lib/plugins/"${PLUGIN}"))" = "/usr/share/dokuwiki/plugins-extra" ]
then
rm -f "/var/lib/dokuwiki/lib/plugins/${PLUGIN}"
fi
fi
done
;;
failed-upgrade)
;;
*)
echo "prerm called with unknown argument \`${1}'" >&2
exit 1
;;
esac
#DEBHELPER#
exit 0
|
