diff --git a/scripts/install b/scripts/install index 58a0be9..c70866a 100755 --- a/scripts/install +++ b/scripts/install @@ -66,8 +66,16 @@ cp -a "../conf/minetest-preferences" "/etc/apt/preferences.d/00MinetestPinning" ynh_replace_string "__CODENAME__" "$codename" "/etc/apt/preferences.d/00MinetestPinning" if [ $(uname -m) == "armv7l" ] then - gpg --keyserver pgpkeys.mit.edu --recv-key 7638D0442B90D010 - gpg --keyserver pgpkeys.mit.edu --recv-key 8B48AD6246925553 + 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 gpg -a --export 7638D0442B90D010 | apt-key add - gpg -a --export 8B48AD6246925553 | apt-key add - fi