#!/bin/sh # postrm script for gnupg-curl # # see: dh_installdeb(1) set -e if [ "$1" = remove ] ; then dpkg-divert --package gnupg-curl --rename \ --remove /usr/lib/gnupg/gpgkeys_curl dpkg-divert --package gnupg-curl --rename \ --remove /usr/lib/gnupg/gpgkeys_hkp fi exit 0