From 815abd8720e82da346c4891515bf08fb3701b982 Mon Sep 17 00:00:00 2001
From: Luc Didry <luc@didry.org>
Date: Fri, 27 Oct 2017 08:53:58 +0200
Subject: [PATCH] Change the way to add GPG keys

---
 scripts/install | 20 ++++++++++++++++++--
 1 file changed, 18 insertions(+), 2 deletions(-)

diff --git a/scripts/install b/scripts/install
index 6829e98..2180c4e 100755
--- a/scripts/install
+++ b/scripts/install
@@ -59,8 +59,24 @@ cp -a "../conf/turtl.list" "/etc/apt/sources.list.d/$app.list"
 cp -a "../conf/turtl-preferences" "/etc/apt/preferences.d/00TurtlPinning"
 if [ $archi == "armv7l" ]
 then
-    gpg --keyserver pgpkeys.mit.edu --recv-key 7638D0442B90D010
-    gpg -a --export 7638D0442B90D010 | apt-key add -
+    gpg --list-keys 7638D0442B90D010 > /dev/null 2>&1
+    if [ $? != 0 ]
+    then
+        gpg --keyserver pgpkeys.mit.edu --recv-key 7638D0442B90D010
+    fi
+    gpg --list-keys 8B48AD6246925553 > /dev/null 2>&1
+    if [ $? != 0 ]
+    then
+        gpg --keyserver pgpkeys.mit.edu --recv-key 8B48AD6246925553
+    fi
+    if [ $(apt-key finger | grep "7638 D044 2B90 D010" -c) == 0 ]
+    then
+        gpg -a --export 7638D0442B90D010 | apt-key add -
+    fi
+    if [ $(apt-key finger | grep "8B48 AD62 4692 5553" -c) == 0 ]
+    then
+        gpg -a --export 8B48AD6246925553 | apt-key add -
+    fi
 fi
 
 if [ $archi == "armv7l" ]