change keyserver from keyserver.ubuntu.com (defaulting to port 11371) to hkp://keyserver.ubuntu.com:80 as this is less likely to be blocked by a firewall

Martin Dehnel · Martin Dehnel · commit 8fa0aed3a1eb · 2016-03-16T09:44:40.000Z
diff --git a/doc/install_and_upgrade.md b/doc/install_and_upgrade.md
@@ -96,7 +96,7 @@ problems, see the linked FAQ entries:
 
  1. Get the FP Complete key:
 
-        sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 575159689BEFB442
+        sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 575159689BEFB442
 
  2. Add the appropriate source repository (if not sure, run ``lsb_release -a`` to find out your Ubuntu version):
 
@@ -130,7 +130,7 @@ problems, see the linked FAQ entries:
 
  1. Get the FP Complete key:
 
-        sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 575159689BEFB442
+        sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 575159689BEFB442
 
  2. Add the appropriate source repository:
 
