ENH: for initial setup apt-key call use hkp://pgp.mit.edu:80 (instead of default...

Thanks to Jonathan Peirce for the hint.

diff --git a/sphinx/reposetup.rst b/sphinx/reposetup.rst
index aca750ae927a147f8baa5a59fa9fa86e36dc19fd..1cbc98a2c5fda6ce3be3938bfb9dc3e1dcd8d2c0 100644 (file)
--- a/sphinx/reposetup.rst
+++ b/sphinx/reposetup.rst
@@ -143,7 +143,7 @@ You are ready to go -- enjoy NeuroDebian!
     if(mir in mirrors) {
         var retrepo = "wget -O- http://neuro.debian.net/lists/" + rel + "."
          + mir + "." + comp + " | sudo tee /etc/apt/sources.list.d/neurodebian.sources.list\n"
-         + "sudo apt-key adv --recv-keys --keyserver pgp.mit.edu 2649A5A9\n";
+         + "sudo apt-key adv --recv-keys --keyserver hkp://pgp.mit.edu:80 2649A5A9\n";
         return retrepo;
     }