#!/bin/sh

set -e

if [ -x /usr/bin/apt-key ]; then
    #XXX extra keyring in /etc/apt/trusted.gpg.d does not seem to work !?
    cat /var/lib/adr-keyring/adr-stretch-public.gpg | apt-key add - 2> /dev/null
    cat /var/lib/adr-keyring/adr-jessie-public.gpg | apt-key add - 2> /dev/null
fi

#DEBHELPER#

exit 0
