krill 0.9.0

Resource Public Key Infrastructure (RPKI) daemon
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

#!/bin/sh
set -e

KRILL_CONF="/etc/krill.conf"

case "$1" in
purge)
    # Per https://www.debian.org/doc/debian-policy/ch-files.html#behavior
    # "configuration files must be preserved when the package is removed, and
    #  only deleted when the package is purged."
    if [ -f ${KRILL_CONF} ]; then
        rm ${KRILL_CONF}
    fi
    ;;
esac

#DEBHELPER#