#!/bin/sh -e clean_var() { echo "Deleting the rpki-client repository..." rm -rf /var/lib/rpki-client } case "$1" in purge) clean_var "$@" ;; esac # 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 'rpki-client.timer' >/dev/null || true fi fi # End automatically added section