- fi
-
- if apt-get update $DPKG_OPTIONS; then
- apt-get -y --allow-unauthenticated install grml-debian-keyring $DPKG_OPTIONS
- apt-get update $DPKG_OPTIONS
- else
- # make sure we have the keys available for aptitude
- gpg --keyserver subkeys.pgp.net --recv-keys 709BCE51568573EBC160E590F61E2E7CECDEA787
- gpg --export 709BCE51568573EBC160E590F61E2E7CECDEA787 | apt-key add - || true # not yet sure
- # why it's necessary, sometimes we get an error even though it works [mika]
- fi
-
- # make sure we install packages from Grml's pool only if not available
- # from Debian!
- if ! grep -q grml /etc/apt/preferences 2>/dev/null ; then
- cat >> /etc/apt/preferences << EOF
-// debian pool (default):
-Package: *
-Pin: release o=Debian
-Pin-Priority: 996