fixes

[distro-setup] / distro-end

diff --git a/distro-end b/distro-end
index 51d01443d56475718bf508206e126657b78fac74..0746d8286aa044bdcb425a004f41a3aec378168a 100755 (executable)
--- a/distro-end
+++ b/distro-end
@@ -873,7 +873,10 @@ case $distro in
 deb http://ppa.launchpad.net/obsproject/obs-studio/ubuntu $codename_compat main
 deb-src http://ppa.launchpad.net/obsproject/obs-studio/ubuntu $codename_compat main
 EOF
-      s apt-key adv --keyserver keyserver.ubuntu.com --recv-keys BC7345F522079769F5BBE987EFC71127F425E228
+      for (( i=0; i <= 4 ; i++ )); do
+        s apt-key adv --keyserver keyserver.ubuntu.com --recv-keys BC7345F522079769F5BBE987EFC71127F425E228 && break
+        sleep 10
+      done
       p update
     fi
     ;;