dokuwiki/dokuwiki-plugins-extra
1
0
Fork 0
Code Issues Activity

Adding debian version 20241201-1.

Browse source 
Signed-off-by: Daniel Baumann <daniel@debian.org>
This commit is contained in:
Daniel Baumann 2025-03-16 08:08:14 +01:00
parent f8d74cc725
commit 2fca362a9f
Signed by: daniel
GPG key ID: FBB4F0E80A80222F
11 changed files with 310 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

34
debian/dokuwiki-plugins-extra.prerm vendored Executable file
View file

@ -0,0 +1,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