#!/bin/sh

if [ -x /usr/bin/apt-key ]; then
    # update only uses /usr/share/keyrings/debian-archive-*.gpg
    #/usr/bin/apt-key update
    /usr/bin/apt-key add /usr/share/keyrings/debian-edu-archive-keyring.gpg
fi
