improvements

[distro-setup] / distro-end

diff --git a/distro-end b/distro-end
index a36266f6365d2a43a0b97bd8c520d02ded65acde..51d01443d56475718bf508206e126657b78fac74 100755 (executable)
--- a/distro-end
+++ b/distro-end
@@ -838,7 +838,11 @@ case $HOSTNAME in
 deb http://ppa.launchpad.net/system76-dev/stable/ubuntu $codename_compat main
 deb-src http://ppa.launchpad.net/system76-dev/stable/ubuntu $codename_compat main
 EOF
-      s apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 5D1F3A80254F6AFBA254FED5ACD442D1C8B7748B
+      # ubuntu keyserver is prone to intermittent failures
+      for (( i=0; i <= 4 ; i++ )); do
+        s apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 5D1F3A80254F6AFBA254FED5ACD442D1C8B7748B && break
+        sleep 10
+      done
       p update
       # https://support.system76.com/articles/install-ubuntu/
       # but i'm hoping this is not needed