#!/bin/sh set -e if [ "$1" = "remove" -o "$1" = "purge" ]; then echo "Removing index /var/lib/apt-xapian-index..." rm -rf /var/cache/apt-xapian-index rm -rf /var/lib/apt-xapian-index fi if [ "$1" = "remove" -o "$1" = "purge" ]; then rm -f /usr/share/apt-xapian-index/plugins/*.pyc fi # Automatically added by dh_installsystemd/13.14.1 if [ "$1" = remove ] && [ -d /run/systemd/system ] ; then systemctl --system daemon-reload >/dev/null || true fi # End automatically added section # Automatically added by dh_installsystemd/13.14.1 if [ "$1" = "purge" ]; then if [ -x "/usr/bin/deb-systemd-helper" ]; then deb-systemd-helper purge 'apt-xapian-index.timer' >/dev/null || true fi fi # End automatically added section exit 0