ENH: fetch our key from our server instead of pgp.mit.edu if that one misbehaves

diff --git a/tools/neurodebian-travis.sh b/tools/neurodebian-travis.sh
index d5d5109620ab2de2f89065870fe886ba924d4db8..e1df2d2548f39df193c242257fee6f810c4c9999 100755 (executable)
--- a/tools/neurodebian-travis.sh
+++ b/tools/neurodebian-travis.sh
@@ -29,7 +29,8 @@ source /etc/lsb-release
 # Fetch the apt sources for the currently preferred mirror
 wget -O- http://neuro.debian.net/lists/${DISTRIB_CODENAME}.us-nh.full | sudo tee /etc/apt/sources.list.d/neurodebian.sources.list
 wget -O- http://neuro.debian.net/lists/${DISTRIB_CODENAME}.de-md.full | sudo tee -a /etc/apt/sources.list.d/neurodebian.sources.list
-sudo apt-key adv --recv-keys --keyserver pgp.mit.edu 2649A5A9
+sudo apt-key adv --recv-keys --keyserver pgp.mit.edu 2649A5A9 \
+ || { wget -q -O- http://neuro.debian.net/_static/neuro.debian.net.asc | sudo apt-key add -; }
 sudo apt-get update -qq
 
 # And provide a summary over which repositories are currently available