#!/bin/sh if [ -x /usr/bin/apt-key ]; then /usr/bin/apt-key add /usr/share/keyrings/grml-debian-keyring.gpg fi