From 58d0971f1f0108d601e7d90d2cbf0bfee90ee75b Mon Sep 17 00:00:00 2001
From: =?utf8?q?Franti=C5=A1ek=20Dvo=C5=99=C3=A1k?= <valtri@civ.zcu.cz>
Date: Tue, 17 Jul 2012 00:31:08 +0200
Subject: [PATCH] Using third-party repository at scientific (set the
 precedence and key).

---
 pbuilder/G00precedence | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100755 pbuilder/G00precedence

diff --git a/pbuilder/G00precedence b/pbuilder/G00precedence
new file mode 100755
index 0000000..dc133a4
--- /dev/null
+++ b/pbuilder/G00precedence
@@ -0,0 +1,8 @@
+#! /bin/sh
+cat > /etc/apt/preferences.d/scientific <<EOF
+# at least the same priority as main OS repository
+Package: *
+Pin: origin "scientific.zcu.cz"
+Pin-Priority: 900
+EOF
+apt-key adv --keyserver subkeys.pgp.net --recv-keys 7157882F
-- 
1.8.2.3