7 if ! [ -r /etc/debian_version ] ; then
8 echo "Warning: /etc/debian_version couldn't be accessed, ignoring version checks."
10 case "$(cat /etc/debian_version)" in
12 echo "Identified Debian release wheezy or jessie, applying workaround."
13 echo "Creating symlink /etc/apt/trusted.gpg.d/grml-archive-keyring.gpg"
14 ln -sf /usr/share/keyrings/grml-archive-keyring.gpg /etc/apt/trusted.gpg.d/grml-archive-keyring.gpg
15 echo "See https://wiki.debian.org/DebianRepository/UseThirdParty for details."
19 update-rc.d ngcp-license-client remove
21 abort-upgrade|abort-remove|abort-deconfigure)
24 echo "postinst called with unknown argument '$1'" >&2